From ed99d56be0f9ceffe5f76a88349c7e7e7d3edba0 Mon Sep 17 00:00:00 2001 From: Davide Alberani Date: Sun, 10 Jul 2016 14:12:58 +0200 Subject: [PATCH] catch KeyboardInterrupt --- eventman_server.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/eventman_server.py b/eventman_server.py index b9f7c03..957ad08 100755 --- a/eventman_server.py +++ b/eventman_server.py @@ -1051,4 +1051,7 @@ def run(): if __name__ == '__main__': - run() + try: + run() + except KeyboardInterrupt: + print('Stop server')