client: websocket default port is 443 if https