Merge pull request #34 from tpiekarski/feature/handle-keyboardinterrupts

Catching KeyboardInterrupt exceptions, resolves #32
tpiekarski · Jul 17, 2020 · 0938e29 · 0938e29
2 parents a3da183 + 6a58cd9
commit 0938e29
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/derl/main.py b/src/derl/main.py
@@ -61,7 +61,10 @@ def main(args: list):
 
 
 def run():
-    main(sys.argv[1:])
+    try:
+        main(sys.argv[1:])
+    except KeyboardInterrupt:
+        _logger.info("User interruped execution.")
 
 
 if __name__ == "__main__":