Update websocket_server.bat