Changing the websocket port.