not needed sync
authorVolker Birk <vb@pep-project.org>
Mon, 10 Jun 2019 12:38:19 +0200
branchsync
changeset 382609813a43e17d
parent 3825 b8d55cc4755e
child 3827 3030ae87f2f9
child 3831 44e274f79ec1
not needed
sync/sync.fsm
     1.1 --- a/sync/sync.fsm	Sat Jun 08 19:45:18 2019 +0200
     1.2 +++ b/sync/sync.fsm	Mon Jun 10 12:38:19 2019 +0200
     1.3 @@ -281,9 +281,8 @@
     1.4                  go HandshakingGrouped;
     1.5              }
     1.6  
     1.7 -            on GroupTrustThisKey {
     1.8 +            on GroupTrustThisKey
     1.9                  do trustThisKey;
    1.10 -            }
    1.11          }
    1.12  
    1.13          // sole device handshaking with group
    1.14 @@ -355,14 +354,11 @@
    1.15          }
    1.16  
    1.17          state JoiningGroup {
    1.18 -            on Init {
    1.19 -                do prepareOwnKeys;
    1.20 -                send OwnKeys;
    1.21 -            }
    1.22 -
    1.23              on GroupKeys {
    1.24                  do saveGroupKeys;
    1.25                  do receivedKeysAreDefaultKeys;
    1.26 +                do prepareOwnKeys;
    1.27 +                send GroupKeys;
    1.28                  do showDeviceAdded;
    1.29                  go Grouped;
    1.30              }
    1.31 @@ -515,15 +511,11 @@
    1.32              field IdentityList ownIdentities;
    1.33          }
    1.34  
    1.35 -        message OwnKeys 13, security=attach_own_keys {
    1.36 +        message OwnKeysOfferer 13, security=attach_own_keys {
    1.37              field IdentityList ownIdentities;
    1.38          }
    1.39  
    1.40 -        message OwnKeysOfferer 14, security=attach_own_keys {
    1.41 -            field IdentityList ownIdentities;
    1.42 -        }
    1.43 -
    1.44 -        message OwnKeysRequester 15, security=attach_own_keys {
    1.45 +        message OwnKeysRequester 14, security=attach_own_keys {
    1.46              field IdentityList ownIdentities;
    1.47          }
    1.48      }