mirror of
https://github.com/clusterio/clusterio.git
synced 2026-11-12 15:04:52 +09:00
Don't bother doing the prepareDisconnect dance if the connection is already broken. This avoids having to wait until the connection times out when a slave gives up on a current connection and starts a new one.