Browse Source

catch KeyboardInterrupt

Davide Alberani 7 years ago
parent
commit
ed99d56be0
1 changed files with 4 additions and 1 deletions
  1. 4 1
      eventman_server.py

+ 4 - 1
eventman_server.py

@@ -1051,4 +1051,7 @@ def run():
 
 
 if __name__ == '__main__':
-    run()
+    try:
+        run()
+    except KeyboardInterrupt:
+        print('Stop server')