diff options
author | Baruch Sterin <baruchs@gmail.com> | 2011-01-13 22:11:37 +0200 |
---|---|---|
committer | Baruch Sterin <baruchs@gmail.com> | 2011-01-13 22:11:37 +0200 |
commit | c85a763444f696e0125445b5adc675020d736c5d (patch) | |
tree | 03d28593a06c5549949e35106939589ef05cb853 /scripts/bmc2.sh | |
parent | f4066b5be3b5473f5c64ab71d1983df6ca7aec76 (diff) | |
download | abc-c85a763444f696e0125445b5adc675020d736c5d.tar.gz abc-c85a763444f696e0125445b5adc675020d736c5d.tar.bz2 abc-c85a763444f696e0125445b5adc675020d736c5d.zip |
pyabc: make the SIGINT signal handler clean up by sending SIGINT to child processes registered by the python code. Also provide functions to block SIGINT and unblock it, to allow for critical sections where signals are blocked
Diffstat (limited to 'scripts/bmc2.sh')
0 files changed, 0 insertions, 0 deletions