use REMOVE-BEFORE in P2P protocol
authorJoey Hess <joeyh@joeyh.name>
Thu, 4 Jul 2024 17:42:09 +0000 (13:42 -0400)
committerJoey Hess <joeyh@joeyh.name>
Thu, 4 Jul 2024 17:47:38 +0000 (13:47 -0400)
commit99b7a0cfe9f669b29358cc7392f70d02c1147f7c
treeda001b4c394c2a582b8355dd5cba22289328f78a
parent1243af4a1821539c76fd14ab5a341db31a230e8c
use REMOVE-BEFORE in P2P protocol

Only clusters still need to be fixed to close this todo.
Annex/SafeDropProof.hs
P2P/Annex.hs
P2P/Protocol.hs
Utility/MonotonicClock.hs
doc/todo/P2P_locking_connection_drop_safety.mdwn