From 5ac9732adca0dc4ea93b090f1470abca1d700361 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mike=20F=C3=A4hrmann?= Date: Tue, 10 Sep 2019 16:46:38 +0200 Subject: [PATCH] call 'sys.exit()' on Ctrl+c --- gallery_dl/__init__.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gallery_dl/__init__.py b/gallery_dl/__init__.py index 806b2292..94a445a6 100644 --- a/gallery_dl/__init__.py +++ b/gallery_dl/__init__.py @@ -248,7 +248,7 @@ def main(): log.error("No suitable extractor found for '%s'", url) except KeyboardInterrupt: - print("\nKeyboardInterrupt", file=sys.stderr) + sys.exit("\nKeyboardInterrupt") except BrokenPipeError: pass except IOError as exc: