Make the websocket server configurable