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.
This commit is contained in:
parent
16b2472574
commit
2286032781
1 changed files with 1 additions and 0 deletions
|
@ -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
|
||||
|
|
Loading…
Add table
Reference in a new issue