Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Auto reconnect to a zetta server from browser by URL #8

Open
13protons opened this issue Oct 9, 2014 · 2 comments
Open

Auto reconnect to a zetta server from browser by URL #8

13protons opened this issue Oct 9, 2014 · 2 comments

Comments

@13protons
Copy link
Contributor

While developing for zetta (an app or driver), the zetta browser constantly looses it's link to my local zetta server.

How to reproduce:

  • run zetta locally
  • point the zetta browser to it
  • shut down your local zetta, then restart to use your updated code
  • Now the zetta browser is frozen, because it lost it's link to your local zetta server

If the browser attempts to reconnect when the zetta server comes back up, It appears that it's doing it based on the server ID (which changes), rather than the URL (which doesn't). Better behavior would be to auto-reconnect by url, saving the user from having to refresh the zetta browser during each code/save/reload cycle.

@AdamMagaluk
Copy link
Contributor

This is caused by the url's being generated by the server's id which is generated at startup. In some refactoring I did yesterday here it will no longer generate unique ids for the servers.

The new way of addressing the server through the api is based on the servers name. Which does not change after you restart. After the PR is merged you will only have to refresh the page.

@13protons
Copy link
Contributor Author

If I understand you correctly, you’re saying the mechanism is now in place an this can be built as a feature in the browser?


Alan Languirand

On Fri, Oct 10, 2014 at 1:32 PM, Adam Magaluk [email protected]
wrote:

This is caused by the url's being generated by the server's id which is generated at startup. In some refactoring I did yesterday here it will no longer generate unique ids for the servers.

The new way of addressing the server through the api is based on the servers name. Which does not change after you restart. After the PR is merged you will only have to refresh the page.

Reply to this email directly or view it on GitHub:
#8 (comment)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants