build: Add basic termination signal handling to df-*.py.

2 files changed, 20 insertions, 0 deletions

diff --git a/make/df-fetch.py b/make/df-fetch.py
index 882e105c7..93b639cd0 100644
--- a/make/df-fetch.py
+++ b/make/df-fetch.py
@@ -13,6 +13,7 @@ import hashlib
 import random
 import re
 import os
+import signal
 import sys
 import time
 import urllib2
@@ -23,6 +24,15 @@ import hb_distfile
 
 ###############################################################################
 
+def signal_handler(signal, frame):
+    sys.stderr.write('^C')
+    sys.exit(1)
+
+signal.signal(signal.SIGINT, signal_handler)
+signal.signal(signal.SIGTERM, signal_handler)
+
+###############################################################################
+
 ## simple structure object
 class Struct(object):
     pass
diff --git a/make/df-verify.py b/make/df-verify.py
index a06829e56..51cbf5bdb 100644
--- a/make/df-verify.py
+++ b/make/df-verify.py
@@ -10,6 +10,7 @@
 
 import hashlib
 import os
+import signal
 import sys
 
 sys.dont_write_bytecode = True
@@ -18,6 +19,15 @@ import hb_distfile
 
 ###############################################################################
 
+def signal_handler(signal, frame):
+    sys.stderr.write('^C')
+    sys.exit(1)
+
+signal.signal(signal.SIGINT, signal_handler)
+signal.signal(signal.SIGTERM, signal_handler)
+
+###############################################################################
+
 ## simple structure object
 class Struct(object):
     pass