stable now with 3 devices sync
authorVolker Birk <vb@pep-project.org>
Thu, 14 Nov 2019 19:38:25 +0100
branchsync
changeset 41775b25ba07c7e9
parent 4168 40db89ff0fcb
child 4178 01f8a8d5ee1b
stable now with 3 devices
sync/sync.fsm
     1.1 --- a/sync/sync.fsm	Thu Nov 14 14:38:03 2019 +0100
     1.2 +++ b/sync/sync.fsm	Thu Nov 14 19:38:25 2019 +0100
     1.3 @@ -210,8 +210,8 @@
     1.4              }
     1.5  
     1.6              on Accept {
     1.7 +                do trustThisKey;
     1.8                  send CommitAcceptOfferer;
     1.9 -                do trustThisKey;
    1.10                  go FormingGroupOfferer;
    1.11              }
    1.12          }
    1.13 @@ -229,8 +229,8 @@
    1.14              }
    1.15  
    1.16              on Accept {
    1.17 +                do trustThisKey;
    1.18                  send CommitAcceptRequester;
    1.19 -                do trustThisKey;
    1.20                  go FormingGroupRequester;
    1.21              }
    1.22          }
    1.23 @@ -378,6 +378,7 @@
    1.24  
    1.25              on Accept {
    1.26                  do trustThisKey;
    1.27 +                send CommitAccept;
    1.28                  go JoiningGroup;
    1.29              }
    1.30          }