Message ID | 1418414696-32584-12-git-send-email-patrickdepinguin@gmail.com |
---|---|
State | Accepted |
Headers | show |
diff --git a/scripts/autobuild-run b/scripts/autobuild-run index 3c448bd..c8ce918 100755 --- a/scripts/autobuild-run +++ b/scripts/autobuild-run @@ -701,6 +701,7 @@ def main(): """Kill all children""" # uninstall signal handler to prevent being called for all subprocesses + signal.signal(signal.SIGINT, signal.SIG_IGN) signal.signal(signal.SIGTERM, signal.SIG_DFL) # stop all instances to prevent new children to be spawned @@ -740,6 +741,7 @@ def main(): p.start() processes.append(p) + signal.signal(signal.SIGINT, sigterm_handler) signal.signal(signal.SIGTERM, sigterm_handler) for p in processes: