Skip to content

Conversation

atellmer
Copy link

@atellmer atellmer commented Feb 8, 2025

Hey! The PR fixes this related issue #93

It seems in real life, servers do not shut down if a client disconnects, because the client should always have the opportunity to reconnect.

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