Added the websocket base url to the portal properties. Also use a default websocket url if the websocket base url is not provided.