Skip to content

Conversation

@dmadisetti
Copy link
Collaborator

@dmadisetti dmadisetti commented Jul 8, 2025

📝 Summary

If the backend fails to connect, change the WS state to closed and appropriately inform the user.
Additionally, tweaks the backoff / timeout (see https://marimo.app/?slug=011gzi)

@vercel
Copy link

vercel bot commented Jul 8, 2025

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Comments Updated (UTC)
marimo-docs ✅ Ready (Inspect) Visit Preview 💬 Add feedback Jul 8, 2025 6:17pm

@dmadisetti dmadisetti added the enhancement New feature or request label Jul 8, 2025
@dmadisetti dmadisetti marked this pull request as ready for review July 8, 2025 18:03
@dmadisetti dmadisetti requested review from manzt and mscolnick July 8, 2025 18:03
Copy link
Contributor

@mscolnick mscolnick left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

nice, much better timing, thanks

@dmadisetti dmadisetti merged commit b89aebf into main Jul 8, 2025
24 of 25 checks passed
@dmadisetti dmadisetti deleted the dm/backoff branch July 8, 2025 18:06
@github-actions
Copy link

github-actions bot commented Jul 8, 2025

🚀 Development release published. You may be able to view the changes at https://marimo.app?v=0.14.11-dev34

Light2Dark pushed a commit that referenced this pull request Jul 14, 2025
…5584)

## 📝 Summary

If the backend fails to connect, change the WS state to closed and
appropriately inform the user.
Additionally, tweaks the backoff / timeout (see
https://marimo.app/?slug=011gzi)

---------

Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>
sebbeutler pushed a commit to sebbeutler/marimo that referenced this pull request Jul 16, 2025
…arimo-team#5584)

## 📝 Summary

If the backend fails to connect, change the WS state to closed and
appropriately inform the user.
Additionally, tweaks the backoff / timeout (see
https://marimo.app/?slug=011gzi)

---------

Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants