timeout settings sync
authorVolker Birk <vb@pep.foundation>
Wed, 29 Aug 2018 23:58:39 +0200
branchsync
changeset 29082bc360b56ad4
parent 2907 92f22b19b09e
child 2909 13da9af3bd4f
timeout settings
sync/fsm.yml2
sync/sync.fsm
     1.1 --- a/sync/fsm.yml2	Wed Aug 29 23:01:09 2018 +0200
     1.2 +++ b/sync/fsm.yml2	Wed Aug 29 23:58:39 2018 +0200
     1.3 @@ -20,7 +20,7 @@
     1.4  // a state has a name and a timeout; after the timeout the state machine will
     1.5  // be reset
     1.6  
     1.7 -decl state @name (timeout=0);
     1.8 +decl state @name (timeout=on);
     1.9  
    1.10  // events have names
    1.11  
    1.12 @@ -51,7 +51,7 @@
    1.13  // some events have messages on the line signalling the event to the
    1.14  // communication partner
    1.15  
    1.16 -decl message @name (id, type="anycast", security="trusted");
    1.17 +decl message @name (id, type=anycast, security=trusted);
    1.18  
    1.19  // messages can have transmitted fields…
    1.20  
     2.1 --- a/sync/sync.fsm	Wed Aug 29 23:01:09 2018 +0200
     2.2 +++ b/sync/sync.fsm	Wed Aug 29 23:58:39 2018 +0200
     2.3 @@ -20,7 +20,7 @@
     2.4              }
     2.5          }
     2.6  
     2.7 -        state Sole {
     2.8 +        state Sole timeout=off {
     2.9              on Init {
    2.10                  do openChallenge; // own challenge
    2.11                  send Beacon;
    2.12 @@ -211,7 +211,7 @@
    2.13              }
    2.14          }
    2.15  
    2.16 -        state Grouped {
    2.17 +        state Grouped timeout=off {
    2.18              on GroupKeys
    2.19                  do saveGroupKeys;
    2.20