From 6a58cd944e754afd8f70eb5a917c71705daba277 Mon Sep 17 00:00:00 2001
From: Thomas Piekarski <t.piekarski@deloquencia.de>
Date: Fri, 17 Jul 2020 12:07:26 +0200
Subject: [PATCH] Catching KeyboardInterrupt exceptions

---
 src/derl/main.py | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/derl/main.py b/src/derl/main.py
index 415c912..686eb86 100644
--- 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__":