Revision 151db8bb63a40319cb75b3adcaf79e24e73f93f9 authored by Dmitri Naumov on 02 May 2021, 12:47:09 UTC, committed by Dmitry Yu. Naumov on 02 May 2021, 12:50:31 UTC
Allows ogs to be interrupted by SIGINT, which otherwise is handled by python. See https://docs.python.org/3/c-api/exceptions.html#c.PyErr_CheckSignals and https://pybind11.readthedocs.io/en/stable/faq.html#how-can-i-properly-handle-ctrl-c-in-long-running-functions
1 parent 6cf80f6
File | Mode | Size |
---|---|---|
books | ||
categories | ||
docs | ||
features | ||
internal | ||
ogs-5 | ||
publications | ||
releases | ||
.markdownlint.yaml | -rw-r--r-- | 109 bytes |
.markdownlintignore | -rw-r--r-- | 208 bytes |
_index.md | -rw-r--r-- | 7.5 KB |
about.md | -rw-r--r-- | 185 bytes |
imprint.md | -rw-r--r-- | 3.5 KB |
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...