Add configuration parameter for websocket port