renaming sendGroupKeys to transmitGroupKeys
authorVolker Birk <vb@pep-project.org>
Tue, 10 May 2016 17:32:54 +0200
changeset 590d28f8852ac45
parent 589 bdff8843f086
child 591 a3dbbf610d32
renaming sendGroupKeys to transmitGroupKeys
sync/sync.fsm
     1.1 --- a/sync/sync.fsm	Tue May 10 17:11:24 2016 +0200
     1.2 +++ b/sync/sync.fsm	Tue May 10 17:32:54 2016 +0200
     1.3 @@ -42,7 +42,7 @@
     1.4                  if keyElectionWon(partner) {    // an already existing group
     1.5                                                  // always wins
     1.6                      storeOwnKeysAsGroupKeys;
     1.7 -                    sendGroupKeys(partner);
     1.8 +                    transmitGroupKeys(partner);
     1.9                      go Grouped;
    1.10                  }
    1.11                  go WaitForGroupKeys(partner);
    1.12 @@ -71,7 +71,7 @@
    1.13              on HandshakeRejected(identity partner)
    1.14                  do reject(partner);
    1.15              on HandshakeAccepted(identity partner)
    1.16 -                do sendGroupKeys(partner);
    1.17 +                do transmitGroupKeys(partner);
    1.18              on Reject(identity partner)
    1.19                  do reject partner;
    1.20          }