set websocket port to 443