From 635b44fff32dfdf327d44c75f33a7060fcac95a2 Mon Sep 17 00:00:00 2001 From: binaryDiv Date: Sat, 24 Nov 2018 01:46:44 +0100 Subject: [PATCH] Server: handle SIGINT --- server/chatserver.py | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/server/chatserver.py b/server/chatserver.py index aee63b6..f4e35e4 100755 --- a/server/chatserver.py +++ b/server/chatserver.py @@ -58,5 +58,11 @@ async def client_handler(websocket, path): # Create WebSocket listener start_server = websockets.serve(client_handler, '0.0.0.0', 32715) -asyncio.get_event_loop().run_until_complete(start_server) -asyncio.get_event_loop().run_forever() +try: + asyncio.get_event_loop().run_until_complete(start_server) + asyncio.get_event_loop().run_forever() +except KeyboardInterrupt: + print("[received SIGINT]") + pass +finally: + print("Exiting...")