pylint_all: Handle Ctrl+C more gracefully

2023-10-03 13:03:40 +00:00 · 2021-08-23 23:12:56 +02:00
parent 714cce175f
commit 7dd24edf14
1 changed files with 4 additions and 1 deletions
@@ -86,4 +86,7 @@ def main():


 if __name__ == "__main__":
-    main()
+    try:
+        main()
+    except KeyboardInterrupt:
+        exit("Interrupted by user. Exiting.")