author | Volker Birk <vb@pep-project.org> |
Tue, 03 May 2016 08:37:38 +0200 | |
changeset 567 | 798f20221c9c |
parent 566 | 3ddd22fa5cac |
child 568 | 17b2543e1350 |
sync/sync.fsm | file | annotate | diff | revisions |
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;