try this! beacon_test
authorVolker Birk <vb@pep-project.org>
Thu, 05 Sep 2019 15:33:42 +0200
branchbeacon_test
changeset 405161f1e92fa6df
parent 4050 6608abc1ce8c
child 4091 5d1a6414271f
try this!
sync/sync.fsm
     1.1 --- a/sync/sync.fsm	Wed Sep 04 18:53:09 2019 +0200
     1.2 +++ b/sync/sync.fsm	Thu Sep 05 15:33:42 2019 +0200
     1.3 @@ -17,15 +17,15 @@
     1.4              on Init {
     1.5                  if deviceGrouped
     1.6                      go Grouped;
     1.7 +                do newChallengeAndNegotiationBase;
     1.8 +                send Beacon;
     1.9                  go Sole;
    1.10              }
    1.11          }
    1.12  
    1.13          state Sole timeout=off {
    1.14              on Init {
    1.15 -                do newChallengeAndNegotiationBase;
    1.16                  do showBeingSole;
    1.17 -                send Beacon;
    1.18              }
    1.19  
    1.20              on KeyGen {