mirror of
https://github.com/clusterio/clusterio.git
synced 2026-11-12 23:04:52 +09:00
Notify the SubscriptionController that a connection closed from the Connection instead of having the subscription controller set up an event to do so. This simplifies the logic on the SubscriptionController's side.