Right now I can't interrupt the resource fetching to switch servers because the server drop down is disabled while the page's resource requests are going out. I have to wait until the page is populated.
It would be nice if I could interrupt the resource fetching to switch servers. Use cases for this are: current server has an issue and is taking too long to respond, made a mistake with the server I want to connect to and want to switch without waiting for page to load.
In my redesign, I'm looking at having the server selection page be first so that if an env var isn't set, the user can pick the server first before resources load.
Right now I can't interrupt the resource fetching to switch servers because the server drop down is disabled while the page's resource requests are going out. I have to wait until the page is populated.
It would be nice if I could interrupt the resource fetching to switch servers. Use cases for this are: current server has an issue and is taking too long to respond, made a mistake with the server I want to connect to and want to switch without waiting for page to load.