better naming sync
authorVolker Birk <vb@pep-project.org>
Fri, 17 Jan 2020 10:35:49 +0100
branchsync
changeset 4347ae908566162e
parent 4346 38fb52d3c608
child 4348 0084f4c565ac
better naming
sync/sync.fsm
     1.1 --- a/sync/sync.fsm	Fri Jan 17 10:09:03 2020 +0100
     1.2 +++ b/sync/sync.fsm	Fri Jan 17 10:35:49 2020 +0100
     1.3 @@ -363,11 +363,11 @@
     1.4                  debug > unled group key reset; new group keys will be elected
     1.5                  do useOwnResponse;
     1.6                  send ElectGroupKeyResetLeader;
     1.7 -                go WaitForGroupKeyReset;
     1.8 +                go GroupKeyResetElection;
     1.9              }
    1.10          }
    1.11  
    1.12 -        state WaitForGroupKeyReset {
    1.13 +        state GroupKeyResetElection {
    1.14              on ElectGroupKeyResetLeader {
    1.15                  if sameResponse {
    1.16                      // the first one is from us, we're leading this