A simple websocket server.