From b71a3e2a0b5649bf95c239d4a4d6602195296ed1 Mon Sep 17 00:00:00 2001 From: "behrooz shabani (everplays)" Date: Mon, 13 May 2013 11:49:47 +0430 Subject: [PATCH] exit quietly when user hits ctrl+C --- local.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/local.py b/local.py index 189a9eb..00b49b9 100755 --- a/local.py +++ b/local.py @@ -190,4 +190,7 @@ if __name__ == '__main__': server.serve_forever() except socket.error, e: logging.error(e) + except KeyboardInterrupt: + server.shutdown() + sys.exit(0)