sameKeyAndAddress(), used in sync_actions.c wasn't declared in any header file, leading to failure to compile on some platforms
authorEdouard Tisserant <edouard@pep-project.org>
Thu, 20 Apr 2017 10:10:52 +0200
changeset 17277a905529fc0e
parent 1726 ffc3cd3c5885
child 1728 3c032ad43e6e
child 1731 cb009a53b1c8
child 1733 4bfa4eb35ca3
sameKeyAndAddress(), used in sync_actions.c wasn't declared in any header file, leading to failure to compile on some platforms
sync/devicegroup.fsm
sync/generated/sync_fsm.h
     1.1 --- a/sync/devicegroup.fsm	Wed Apr 19 18:45:43 2017 +0200
     1.2 +++ b/sync/devicegroup.fsm	Thu Apr 20 10:10:52 2017 +0200
     1.3 @@ -21,6 +21,7 @@
     1.4          condition deviceGrouped();
     1.5          condition keyElectionWon(Identity partner);
     1.6          condition sameIdentities(Identity a, Identity b);
     1.7 +        condition sameKeyAndAddress(Identity a, Identity b);
     1.8  
     1.9          state InitState {
    1.10              on Init {
     2.1 --- a/sync/generated/sync_fsm.h	Wed Apr 19 18:45:43 2017 +0200
     2.2 +++ b/sync/generated/sync_fsm.h	Thu Apr 20 10:10:52 2017 +0200
     2.3 @@ -32,6 +32,7 @@
     2.4  int deviceGrouped(PEP_SESSION session);
     2.5  int keyElectionWon(PEP_SESSION session, Identity partner);
     2.6  int sameIdentities(PEP_SESSION session, Identity a, Identity b);
     2.7 +int sameKeyAndAddress(PEP_SESSION session, Identity a, Identity b);
     2.8  
     2.9  // states
    2.10