doc
authorVolker Birk <vb@pep-project.org>
Tue, 03 May 2016 08:37:38 +0200
changeset 567798f20221c9c
parent 566 3ddd22fa5cac
child 568 17b2543e1350
doc
sync/sync.fsm
     1.1 --- a/sync/sync.fsm	Tue May 03 08:35:09 2016 +0200
     1.2 +++ b/sync/sync.fsm	Tue May 03 08:37:38 2016 +0200
     1.3 @@ -38,7 +38,8 @@
     1.4                  go Sole;
     1.5              }
     1.6              on HandshakeAccepted {
     1.7 -                if keyElectionWon(partner) {
     1.8 +                if keyElectionWon(partner) {    // an already existing group
     1.9 +                                                // always wins
    1.10                      storeOwnKeysAsGroupKeys;
    1.11                      sendGroupKeys(partner);
    1.12                      go Grouped;