#65: define port 90001 for websocket protocol