Skip to content

fix(sim): close_gui segfault#290

Merged
juelg merged 1 commit intomasterfrom
fix/close-gui-segfault
Apr 24, 2026
Merged

fix(sim): close_gui segfault#290
juelg merged 1 commit intomasterfrom
fix/close-gui-segfault

Conversation

@juelg
Copy link
Copy Markdown
Contributor

@juelg juelg commented Apr 24, 2026

close_gui in sim doesnt segfault anymore by checking if the gui still has a value in the optional variable which will be set to None if the gui gets closed/deregistered

close_gui in sim doesnt segfault anymore by checking if the gui still has a value in the optional variable which will be set to None if the gui gets closed/deregistered
@juelg juelg merged commit 0001be5 into master Apr 24, 2026
6 checks passed
@juelg juelg deleted the fix/close-gui-segfault branch April 24, 2026 15:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant