completing
authorVolker Birk <vb@pep-project.org>
Tue, 03 May 2016 08:46:38 +0200
changeset 570963682eaf5c8
parent 569 d0baaf55e038
child 571 2b1666bc1b45
completing
sync/sync.fsm
     1.1 --- a/sync/sync.fsm	Tue May 03 08:44:27 2016 +0200
     1.2 +++ b/sync/sync.fsm	Tue May 03 08:46:38 2016 +0200
     1.3 @@ -34,7 +34,8 @@
     1.4              on init
     1.5                  do showHandshake(partner);
     1.6              on HandshakeRejected(partner) {
     1.7 -                do reject(partner);
     1.8 +                do reject(partner);             // sends Reject to partner and
     1.9 +                                                // stores rejection of partner
    1.10                  go Sole;
    1.11              }
    1.12              on HandshakeAccepted {
    1.13 @@ -54,7 +55,7 @@
    1.14                  go Grouped;
    1.15              }
    1.16              on Cancel go Sole;
    1.17 -            on RejectReceived(identity partner) {
    1.18 +            on Reject(identity partner) {
    1.19                  do reject(partner);
    1.20                  go Sole;
    1.21              }
    1.22 @@ -70,7 +71,9 @@
    1.23              on HandshakeRejected(identity partner)
    1.24                  do reject(partner);
    1.25              on HandshakeAccepted(identity partner)
    1.26 -                sendGroupKeys(partner);
    1.27 +                do sendGroupKeys(partner);
    1.28 +            on Reject(identity partner)
    1.29 +                do reject partner;
    1.30          }
    1.31      }
    1.32  }