-
Notifications
You must be signed in to change notification settings - Fork 70
Fix send_exit behaviour #916
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
Conversation
1fdc7a0 to
880aab5
Compare
|
(Experimenting a little to find more race conditions; will take care of merging myself later) |
6c4d159 to
be0c41f
Compare
|
This ended up becoming a tiny bit more involved. Previously, The cleanup is now done a little more explicitly with an additional function In between I also experimented with having the remote team return a confirmation message after the exit request but it turned out to be a little useless for now. Developer notes: The tricky part with debugging code like this is to always have an eye on the runtime of |
7ad99bb to
1483a91
Compare
|
Merging. Still not optimal (we could take more advantage of the state machine in the network code) but I’m somewhat confident that this leads to fewer random CI failures. |
Fixes a bug (non-existent instance variable) introduced in #890 that caused longer timeouts and potential hangs during exit (including when
__del__is called on a game state).