Add support for specifying websocket port in the manifest.