fix dev websocket port