defaultServerWebSocket

The default fallback Websockets server to attempt connecting to if fetching server list through other means fails. If the default server set here no longer works, please create a pull request to update it or file an issue. Issue Tracker