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
BMB-3-Cover.png
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...