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

1 files changed, 10 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