sync/devicegroup.fsm
branchkeysync
changeset 939 ed7dfdae3031
parent 907 8f5cca5bfa2d
child 944 e97cf5e73b64
     1.1 --- a/sync/devicegroup.fsm	Wed Jul 27 16:20:31 2016 +0200
     1.2 +++ b/sync/devicegroup.fsm	Fri Jul 29 10:45:13 2016 +0200
     1.3 @@ -71,7 +71,8 @@
     1.4              }
     1.5              on HandshakeRejected(Identity partner)
     1.6                  do reject(partner);
     1.7 -            on HandshakeAccepted(Identity partner)
     1.8 +            on Hand
     1.9 +                hakeAccepted(Identity partner)
    1.10                  do sendGroupKeys(partner);
    1.11              on Reject(Identity partner)
    1.12                  do reject partner;