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 }