fix: handle thread exit cleanly

[NathanFlurry]

No description provided.

[graphite-app]

Your org requires the Graphite merge queue for merging into main

You must have a Graphite account and log in to Graphite in order to use the merge queue. Sign up using this link.

You can enable merging using labels in your Graphite merge queue settings.

[NathanFlurry]

• chore: remove rivet_api_endpoint #168
• ci: add gdext to ci #166
• chore: migrate from ghcr to docker hub #165
• refactor: replace raw api call with toolchain calls #164
• chore: impl extended backend configs #163
• feat: check system requirements #162
• chore: update env selection logic #161
• chore: collect remaining logs on task exit #160
• chore: move github links to settings #159
• fix: handle thread exit cleanly #158 👈
• chore: style panel cleaner #157
• chore: move json ser/de to main thread #156
• chore: add icons #155
• feat: add setup tab #154
• refactor: clean up file tree #153
• chore: auto-restart backend daemon #152
• chore: auto-start backend #151
• chore: move start/stop for gs and backend back in to main dock #150
• refactor: move sidekick to gdext #149
• chore: remove godot project from root in favor of examples #148
• feat: add game server panel #147
• chore: move examples to separate sub-projects #146
• feat: add lobbies_server demo #145
• feat: add backend env selector #144
• feat: run backend server from within the plugin #143
• chore: speed up loading spinner #142
• feat: add opengb generate sdk button #141
• refactor: rename playtest -> develop #140
• feat: run game server from within the plugin #139
• chore: rename hub -> dashboard #138
• feat: clarify onboarding text #137
• feat: add report bug button #136
• main

This stack of pull requests is managed by Graphite. Learn more about stacking.

Join @NathanFlurry and the rest of your teammates on Graphite

[graphite-app]

Merge activity

• Jul 26, 5:38 PM EDT: NathanFlurry added this pull request to the Graphite merge queue.
• Jul 26, 6:34 PM EDT: The Graphite merge queue removed this pull request due to downstack failures on PR #140.
• Jul 26, 6:34 PM EDT: The Graphite merge queue removed this pull request due to downstack failures on PR #140.
• Jul 27, 1:32 AM EDT: NathanFlurry added this pull request to the Graphite merge queue.
• Jul 27, 2:20 AM EDT: NathanFlurry merged this pull request with the Graphite merge queue.