Closed maxtheman closed 3 days ago
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 | Nov 19, 2024 1:50am |
marimo-storybook | ✅ Ready (Inspect) | Visit Preview | 💬 Add feedback | Nov 19, 2024 1:50am |
thank you! theres going to be some typing errors, but ill fix this for you
📝 Summary
fixes this bug that happens on closed when the web socket is connected that wasn't caught in the previous PR:
🔍 Description of Changes
It simply checks the state of the WebSocket before trying to close it.
📋 Checklist
📜 Reviewers
@mscolnick