Script does not fully close on CTRL-C

[rshom]

The script as it is now does not fully close. A thread named WebSocketManager is still running. I found that adding the command websocket_server.server_close() before websocket_server.shutdown() solves this issue.