sync/sync.fsm
branchsync
changeset 4354 33701483ccbd
parent 4347 ae908566162e
child 4358 0f4c24ab43b6
     1.1 --- a/sync/sync.fsm	Fri Jan 17 11:20:09 2020 +0100
     1.2 +++ b/sync/sync.fsm	Mon Jan 20 10:52:36 2020 +0100
     1.3 @@ -329,17 +329,21 @@
     1.4              on Beacon {
     1.5                  do openNegotiation;
     1.6                  do tellWeAreGrouped;
     1.7 +                do useOwnResponse;
     1.8                  send NegotiationRequestGrouped;
     1.9                  do useOwnChallenge;
    1.10              }
    1.11  
    1.12              on NegotiationOpen {
    1.13 -                if sameNegotiationAndPartner {
    1.14 +                if sameResponse {
    1.15                      do storeNegotiation;
    1.16                      do useThisKey;
    1.17                      send GroupHandshake;
    1.18                      go HandshakingGrouped;
    1.19                  }
    1.20 +                else {
    1.21 +                    debug > cannot approve NegotiationOpen
    1.22 +                }
    1.23              }
    1.24  
    1.25              on GroupHandshake {