improve handling of cluster nodes disconnecting
authorJoey Hess <joeyh@joeyh.name>
Tue, 25 Jun 2024 18:10:06 +0000 (14:10 -0400)
committerJoey Hess <joeyh@joeyh.name>
Tue, 25 Jun 2024 18:10:06 +0000 (14:10 -0400)
commit818030e4d30ccab50e98f177edb547ae0d45b465
tree365ded76678109b19f4385daafc0bc2b19400cb3
parent5ede109ae55b25d7135e6816390171420501196f
improve handling of cluster nodes disconnecting
P2P/Proxy.hs