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)