How do you kill a websocket server programmatically? I\'ll be deploying this server to production along side other things. And I like to build a single python script that
