these values are external sync
authorVolker Birk <vb@pep-project.org>
Fri, 22 Mar 2019 21:10:34 +0100
branchsync
changeset 338432c0ea31dd6d
parent 3383 da42a8ac645f
child 3385 a4c2e473cffd
these values are external
src/sync_api.c
sync/gen_statemachine.ysl2
sync/sync.fsm
     1.1 --- a/src/sync_api.c	Fri Mar 22 20:21:37 2019 +0100
     1.2 +++ b/src/sync_api.c	Fri Mar 22 21:10:34 2019 +0100
     1.3 @@ -68,8 +68,7 @@
     1.4              return PEP_ILLEGAL_VALUE;
     1.5      }
     1.6  
     1.7 -    status = send_Sync_message(session, Sync_PR_keysync, event);
     1.8 -
     1.9 +    status = signal_Sync_event(session, Sync_PR_keysync, event);
    1.10      return status;
    1.11  }
    1.12  
     2.1 --- a/sync/gen_statemachine.ysl2	Fri Mar 22 20:21:37 2019 +0100
     2.2 +++ b/sync/gen_statemachine.ysl2	Fri Mar 22 21:10:34 2019 +0100
     2.3 @@ -768,11 +768,9 @@
     2.4              const "name", "@name";
     2.5              |> «$name» = «/protocol/fsm/message[@name=$name]/@id»,
     2.6          }
     2.7 -        for "func:distinctName(state/event[not(not(../../external/@name=@name))])" {
     2.8 -            const "name", "@name";
     2.9 -            |> «$name» = «/protocol/fsm/external[@name=$name]/@id»,
    2.10 -        }
    2.11          |> «@name»_event_Extra = Extra,
    2.12 +        for "/protocol/fsm/external"
    2.13 +            |> «@name» = «@id»,
    2.14          for "func:distinctName(state/event[not(../../message/@name=@name or ../../external/@name=@name)])" {
    2.15              if "@name!='Init'"
    2.16                  |> «@name»`if "position()!=last()" > , `
     3.1 --- a/sync/sync.fsm	Fri Mar 22 20:21:37 2019 +0100
     3.2 +++ b/sync/sync.fsm	Fri Mar 22 21:10:34 2019 +0100
     3.3 @@ -299,9 +299,9 @@
     3.4                  do saveGroupKeys;
     3.5          }
     3.6   
     3.7 -        external Accept 30;
     3.8 -        external Reject 31;
     3.9 -        external Cancel 32;
    3.10 +        external Accept 129;
    3.11 +        external Reject 130;
    3.12 +        external Cancel 131;
    3.13  
    3.14          // beacons are always broadcasted
    3.15