From 06e921697294084394a3d3fd12bb03c9254985d6 Mon Sep 17 00:00:00 2001 From: Adrien Beudin Date: Fri, 14 Jul 2017 15:44:25 +0200 Subject: [PATCH] http server kill socket --- prosopopee/prosopopee.py | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/prosopopee/prosopopee.py b/prosopopee/prosopopee.py index 008a7ba..6e1ff89 100644 --- a/prosopopee/prosopopee.py +++ b/prosopopee/prosopopee.py @@ -557,7 +557,12 @@ def main(): print('Start server on http://localhost:9000') # gracefully handle interrupt here - httpd.serve_forever() + try: + httpd.serve_forever() + except (KeyboardInterrupt, SystemExit): + print('shutdown') + httpd.socket.close() + raise if arguments['deploy']: error(os.system("which rsync > /dev/null") == 0, "I can't locate the rsync, "