A websocket server