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

StateOutOfSync: Failed to apply patches in status_tree #2494

Closed
1 of 2 tasks
fonsp opened this issue Mar 9, 2023 · 1 comment · Fixed by JuliaPluto/PlutoSliderServer.jl#111
Closed
1 of 2 tasks
Labels
bug Something isn't working frontend Concerning the HTML editor HTTP/WS The connection between backend and frontend

Comments

@fonsp
Copy link
Owner

fonsp commented Mar 9, 2023

This issue JuliaPluto/PlutoSliderServer.jl#101 reported a bug where immer failed to apply a patch in the status_tree of our global state object (added in #2399). We should:

  • investigate why this happened in PlutoSliderServer (might be related to Crash with AppendonlyMarker #2416)
  • make sure that state update bugs in status_tree do not cause a crash, since the status tab is just bonus information.
@fonsp fonsp added bug Something isn't working frontend Concerning the HTML editor HTTP/WS The connection between backend and frontend labels Mar 9, 2023
@fonsp fonsp closed this as completed in de6a312 Mar 11, 2023
@fonsp
Copy link
Owner Author

fonsp commented Mar 11, 2023

I made the error non-fatal, I will track the first point in JuliaPluto/PlutoSliderServer.jl#101

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working frontend Concerning the HTML editor HTTP/WS The connection between backend and frontend
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant