Skip to content

Fix deadlock in FileLoader and EhttpLoader#7515

Merged
emilk merged 2 commits intomainfrom
emilk/fix-deadlocks-again
Sep 8, 2025
Merged

Fix deadlock in FileLoader and EhttpLoader#7515
emilk merged 2 commits intomainfrom
emilk/fix-deadlocks-again

Conversation

@emilk
Copy link
Copy Markdown
Owner

@emilk emilk commented Sep 8, 2025

@emilk emilk added bug Something is broken egui_extras labels Sep 8, 2025
@github-actions
Copy link
Copy Markdown

github-actions bot commented Sep 8, 2025

Preview available at https://egui-pr-preview.github.io/pr/7515-emilkfix-deadlocks-again
Note that it might take a couple seconds for the update to show up after the preview_build workflow has completed.

@emilk emilk merged commit 9cc7f2e into main Sep 8, 2025
49 checks passed
@emilk emilk deleted the emilk/fix-deadlocks-again branch September 8, 2025 15:37
@emilk emilk changed the title Improve deadlock detection output Fix deadlock in FileLoader and EhttpLoader Sep 8, 2025
@emilk
Copy link
Copy Markdown
Owner Author

emilk commented Sep 8, 2025

ugh, I had the wrong PR title when merging 😭

lucasmerlin pushed a commit that referenced this pull request Sep 11, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something is broken egui_extras

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants