sync/devicegroup.fsm
changeset 907 8f5cca5bfa2d
parent 809 3a8dced942e3
child 939 ed7dfdae3031
     1.1 --- a/sync/devicegroup.fsm	Mon Jul 18 08:54:11 2016 +0200
     1.2 +++ b/sync/devicegroup.fsm	Mon Jul 18 10:15:06 2016 +0200
     1.3 @@ -36,8 +36,7 @@
     1.4              on Init
     1.5                  do showHandshake(partner);
     1.6              on HandshakeRejected(Identity partner) {
     1.7 -                do reject(partner);             // sends Reject to partner and
     1.8 -                                                // stores rejection of partner
     1.9 +                do reject(partner);             // stores rejection of partner
    1.10                  go Sole;
    1.11              }
    1.12              on HandshakeAccepted(Identity partner) {