changeset 543:34aba0efa3e9

added SIGINT hanlder to dbdict_run
author James Bergstra <bergstrj@iro.umontreal.ca>
date Mon, 17 Nov 2008 20:03:13 -0500
parents ee5324c21e60
children de6de7c2c54b
files pylearn/dbdict/dbdict_run.py
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/pylearn/dbdict/dbdict_run.py	Mon Nov 17 18:38:32 2008 -0500
+++ b/pylearn/dbdict/dbdict_run.py	Mon Nov 17 20:03:13 2008 -0500
@@ -49,6 +49,7 @@
 
         #install a SIGTERM handler that asks the run_state function to return
         signal.signal(signal.SIGTERM, on_sigterm)
+        signal.signal(signal.SIGINT, on_sigterm)
 
         def channel(*args, **kwargs):
             return channel_rval[0]