Fixed a problem with websocket connections not opening because the port number was not provided.
Merge branch 'master' of https://github.com/WISE-Community/WISE-Portal