summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2012-11-10 01:41:28 -0400
committerGravatar Joey Hess <joey@kitenet.net>2012-11-10 01:41:28 -0400
commit095eee8594f6f36b90898504f306409edc6fdddf (patch)
tree1225716659f43861aeeac476d944890e32cc110c
parenta41f01d88bc30c9a26b2558789566d9f8e661fa8 (diff)
on second thought, do allow deferring StartingPush
My reasoning is that StartingPush could be received after another push starts being received, and it would be better to respond to it afterwards than not.
-rw-r--r--Assistant/Types/NetMessager.hs1
1 files changed, 1 insertions, 0 deletions
diff --git a/Assistant/Types/NetMessager.hs b/Assistant/Types/NetMessager.hs
index cd96a5523..d2195f53c 100644
--- a/Assistant/Types/NetMessager.hs
+++ b/Assistant/Types/NetMessager.hs
@@ -56,6 +56,7 @@ getClientID (ReceivePackDone cid _) = Just cid
isPushInitiationMessage :: NetMessage -> Bool
isPushInitiationMessage (CanPush _) = True
isPushInitiationMessage (PushRequest _) = True
+isPushInitiationMessage (StartingPush _) = True
isPushInitiationMessage _ = False
data NetMessager = NetMessager