windows: send CTRL_C_EVENT instead of KILL on KeyboardInterrupt

This commit is contained in:
Robert W. Brewer 2015-05-12 04:17:13 -04:00
parent ad741edb6a
commit 1a8bdfe55a

View file

@ -147,7 +147,7 @@ def wait_for_active_job():
except TimeoutExpired:
pass
except KeyboardInterrupt:
obj.kill()
obj.send_signal(signal.CTRL_C_EVENT)
else:
pgrp = job['pgrp']
obj.done = False