fix to actually quit on certain signals

This commit is contained in:
Anthony Scopatz 2015-09-11 00:16:48 -04:00
parent 62d20b66ff
commit dc39da6d19

View file

@ -44,6 +44,8 @@ def resetting_signal_handle(sig, f):
def newh(s=None, frame=None):
f(s, frame)
signal.signal(sig, oldh)
if sig != 0:
sys.exit(sig)
signal.signal(sig, newh)