make websocket port configurable