make sure download stops with keyboard interrupt

1 files changed, 8 insertions, 0 deletions

diff --git a/src/backend/download.py b/src/backend/download.py
index 53fa936..2150a25 100644
--- a/src/backend/download.py
+++ b/src/backend/download.py
@@ -3,6 +3,7 @@
 import atexit
 import io
 import os
+import signal
 import subprocess
 import sys
 import pickle
@@ -10,6 +11,13 @@ import sisyphus.getfs
 import sisyphus.killemerge
 
 
+def sigint_handler(signal, frame):
+    sys.exit(0)
+
+
+signal.signal(signal.SIGINT, sigint_handler)
+
+
 def start(dl_world=False, gfx_ui=False):
     dl_list = []