mirror of
https://github.com/clusterio/clusterio.git
synced 2026-11-12 15:04:52 +09:00
Rework the way disconnection at shutdown is done to properly close the connections when the master server is shut down.
Rework the way disconnection at shutdown is done to properly close the connections when the master server is shut down.