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

Fix out of order state update messages #3010

Merged
merged 2 commits into from
Aug 24, 2024
Merged

Fix out of order state update messages #3010

merged 2 commits into from
Aug 24, 2024

Conversation

fonsp
Copy link
Owner

@fonsp fonsp commented Aug 24, 2024

Fix #3009

@fonsp fonsp added frontend Concerning the HTML editor backend Concerning the julia server and runtime HTTP/WS The connection between backend and frontend labels Aug 24, 2024
@github-actions GitHub Actions
Copy link
Contributor

Try this Pull Request!

Open Julia and type:

julia> import Pkg
julia> Pkg.activate(temp=true)
julia> Pkg.add(url="https://github.com/fonsp/Pluto.jl", rev="fix-out-of-order-update-messages")
julia> using Pluto

@fonsp fonsp merged commit aaa835b into main Aug 24, 2024
17 checks passed
@fonsp fonsp deleted the fix-out-of-order-update-messages branch August 24, 2024 19:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
backend Concerning the julia server and runtime frontend Concerning the HTML editor HTTP/WS The connection between backend and frontend
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

State management: update messages out-of-order
1 participant
@fonsp