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...")