diff options
| -rw-r--r-- | src/backend/download.py | 8 |
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 = [] |