Customized connection provider between the frontend and the backend in electron environment. This customized connection provider makes sure the websocket connection does not try to reconnect once the electron-browser window is refreshed. Otherwise, backend resources are not disposed.
Do not try to reconnect when the frontend application is stopping. The browser is navigating away from this page.
Creates a web socket for the given url
Creates a websocket URL to the current location