From badc3710e1afb5ac7339b9c17d72a3078f91d881 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Apr 08 2023 20:52:03 +0000 Subject: make sure download stops with keyboard interrupt --- 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 = []