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

If server stopped, is it possible to alert the user upfront? #5240

Closed
ahuang11 opened this issue Jul 10, 2023 · 5 comments
Closed

If server stopped, is it possible to alert the user upfront? #5240

ahuang11 opened this issue Jul 10, 2023 · 5 comments
Labels
type: enhancement Minor feature or improvement to an existing feature

Comments

@ahuang11
Copy link
Contributor

Like an overlay that says "Unable to process event; cannot connect to backend server"

@ahuang11 ahuang11 added the TRIAGE Default label for untriaged issues label Jul 10, 2023
@ahuang11 ahuang11 changed the title If no server stopped, is it possible to alert the user upfront? If server stopped, is it possible to alert the user upfront? Jul 10, 2023
@MarcSkovMadsen
Copy link
Collaborator

Please combine this with a message for websocket connection lost/ closed.

Would be a huge improvement to user experience.

@philippjfr
Copy link
Member

Indeed, they're really the same thing. It's already possible but I'll add a simpler API.

@MarcSkovMadsen MarcSkovMadsen added the type: enhancement Minor feature or improvement to an existing feature label Jul 12, 2023
@MarcSkovMadsen MarcSkovMadsen added this to the Wishlist milestone Jul 12, 2023
@MarcSkovMadsen MarcSkovMadsen removed the TRIAGE Default label for untriaged issues label Jul 12, 2023
@MarcSkovMadsen
Copy link
Collaborator

If this is already possible it might also be an idea to just teach us and/ or improve the documentation.

@ahuang11
Copy link
Contributor Author

I wonder if it's possible to also show traceback notifications too for debugging?

@philippjfr
Copy link
Member

Please open a separate issue about the traceback notification handling. For Websocket disconnect there is now a config option.

@philippjfr philippjfr removed this from the Wishlist milestone Aug 24, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type: enhancement Minor feature or improvement to an existing feature
Projects
None yet
Development

No branches or pull requests

3 participants