Server: handle SIGINT
This commit is contained in:
parent
d5f1e76383
commit
635b44fff3
|
|
@ -58,5 +58,11 @@ async def client_handler(websocket, path):
|
||||||
# Create WebSocket listener
|
# Create WebSocket listener
|
||||||
start_server = websockets.serve(client_handler, '0.0.0.0', 32715)
|
start_server = websockets.serve(client_handler, '0.0.0.0', 32715)
|
||||||
|
|
||||||
asyncio.get_event_loop().run_until_complete(start_server)
|
try:
|
||||||
asyncio.get_event_loop().run_forever()
|
asyncio.get_event_loop().run_until_complete(start_server)
|
||||||
|
asyncio.get_event_loop().run_forever()
|
||||||
|
except KeyboardInterrupt:
|
||||||
|
print("[received SIGINT]")
|
||||||
|
pass
|
||||||
|
finally:
|
||||||
|
print("Exiting...")
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue