doc
authorVolker Birk <vb@pep-project.org>
Tue, 03 May 2016 08:35:09 +0200
changeset 5663ddd22fa5cac
parent 565 e29bd4aeb5ea
child 567 798f20221c9c
doc
sync/sync.fsm
     1.1 --- a/sync/sync.fsm	Tue May 03 08:32:14 2016 +0200
     1.2 +++ b/sync/sync.fsm	Tue May 03 08:35:09 2016 +0200
     1.3 @@ -20,8 +20,9 @@
     1.4              on KeyGen
     1.5                  do sendBeacon;
     1.6              on CannotDecrypt
     1.7 -                do sendBeacon; // cry, baby
     1.8 -            on Beacon(partner)
     1.9 +                do sendBeacon;  // cry, baby
    1.10 +            on Beacon(partner)  // this event will not happen for already
    1.11 +                                // rejected partners
    1.12                  do sendHandshakeRequest;
    1.13              on HandshakeRequest(identity partner) {
    1.14                  do sendHandshakeRequest;