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.

Sign up for GitHub

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

Jump to bottom

Reconnect to / close existing backend #238

Open
trisyoungs opened this issue Oct 26, 2023 · 0 comments
Open

Reconnect to / close existing backend #238

trisyoungs opened this issue Oct 26, 2023 · 0 comments
Labels
Feature Request New feature or request Frontend Related to the frontend

Comments

@trisyoungs
Copy link
Member

In the case of a crash in the frontend the backend is left alive. We should be able to detect this by attempting to ping it, and then closing it before trying to reinitialise another.
@trisyoungs trisyoungs mentioned this issue Nov 9, 2023
Open
@trisyoungs trisyoungs added Feature Request New feature or request Frontend Related to the frontend labels Mar 8, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Feature Request New feature or request Frontend Related to the frontend
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@trisyoungs