comments sync
authorVolker Birk <vb@pep-project.org>
Thu, 16 Jan 2020 22:45:54 +0100
branchsync
changeset 43422d2f2c74ca08
parent 4341 463e41a622dc
child 4343 06dbc8518f5b
child 4344 50b88dbb1d05
comments
sync/sync.fsm
     1.1 --- a/sync/sync.fsm	Thu Jan 16 22:30:34 2020 +0100
     1.2 +++ b/sync/sync.fsm	Thu Jan 16 22:45:54 2020 +0100
     1.3 @@ -380,15 +380,18 @@
     1.4          state WaitForGroupKeyReset {
     1.5              on ElectGroupKeyResetLeader {
     1.6                  if sameResponse {
     1.7 +                    // the first one is from us, we're leading this
     1.8                      send GroupKeyReset;
     1.9                      go Grouped;
    1.10                  }
    1.11                  else {
    1.12 +                    // the first one is not from us
    1.13                      go Grouped;
    1.14                  }
    1.15              }
    1.16  
    1.17              on GroupKeyReset {
    1.18 +                // safeguard; break this in case there's another reset
    1.19                  if fromGroupMember { // double check
    1.20                      do saveGroupKeys;
    1.21                      do receivedKeysAreDefaultKeys;