Allow the server and websocket port to be configured at startup