-
Notifications
You must be signed in to change notification settings - Fork 133
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
fix: disconnect from consumer if there is a stale connection #1301
Conversation
The latest updates on your projects. Learn more about Vercel for Git ↗︎
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM, just 1 question
marimo/_server/api/endpoints/ws.py
Outdated
# In case their is a lingering connection, close it | ||
existing_session.maybe_disconnect_consumer() |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Just checking, does this interfere with waking from sleep?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
this actually fixes a case where the client did go to sleep but the backend did not disconnect (if through a proxy)
🚀 Development release published. You may be able to view the changes at https://marimo.app?v=0.4.11-dev6 |
Sometimes a proxy can hang onto to a connection, but the client is already disconnected (and trying to reconnect). This disconnects if there is still a connection