commit 5bd6cf94def52d433139d430cc34a6c1c49f8fd8
author Rich Lane <rich.lane@bigswitch.com> Thu Oct 04 17:57:24 2012 -0700
committer Rich Lane <rich.lane@bigswitch.com> Fri Oct 05 08:44:31 2012 -0700
tree aa1acfca857ee652ec3f66cc90e9eea2c028349a
parent 9a00381ec150547bc039a60b5c5f0269bc0a8dfb

fix SIGINT handling

oft

diff --git a/oft b/oft
index 3e26d52..5d8b20e 100755
--- a/oft
+++ b/oft
@@ -116,6 +116,7 @@
 import os
 import imp
 import random
+import signal
 
 root_dir = os.path.dirname(os.path.realpath(__file__))
 
@@ -572,6 +573,9 @@
     logging.info("Random seed: %d" % config["random_seed"])
     random.seed(config["random_seed"])
 
+# Remove python's signal handler which raises KeyboardError. Exiting from an
+# exception waits for all threads to terminate which might not happen.
+signal.signal(signal.SIGINT, signal.SIG_DFL)
 
 if __name__ == "__main__":
     logging.info("*** TEST RUN START: " + time.asctime())