small fix of server side websocket