fix server websocket port to 8001 like client