fix handling of ctrl-c

This commit is contained in:
adam j hartz 2015-03-27 01:21:54 -04:00
parent 8f640ae1ef
commit 65af251340

View file

@ -80,6 +80,7 @@ def wait_for_active_job():
def handle_sigint(num, frame): def handle_sigint(num, frame):
obj.done = True obj.done = True
os.kill(obj.pid, signal.SIGINT) os.kill(obj.pid, signal.SIGINT)
raise KeyboardInterrupt
signal.signal(signal.SIGTSTP, handle_sigstop) signal.signal(signal.SIGTSTP, handle_sigstop)
signal.signal(signal.SIGINT, handle_sigint) signal.signal(signal.SIGINT, handle_sigint)