src/sync_fsm.h
branchkeysync
changeset 959 c1c463ecf30c
parent 952 986fd7b2eb8f
child 964 ef02296c41ca
     1.1 --- a/src/sync_fsm.h	Mon Aug 01 12:03:00 2016 +0200
     1.2 +++ b/src/sync_fsm.h	Mon Aug 01 12:32:04 2016 +0200
     1.3 @@ -20,13 +20,15 @@
     1.4  
     1.5  typedef enum _fsm_error {
     1.6      invalid_state = -2,
     1.7 -    invalid_event = -3
     1.8 +    invalid_event = -3,
     1.9 +    invalid_condition = -4,
    1.10 +    invalid_action = -5
    1.11  } fsm_error;
    1.12  
    1.13  // conditions
    1.14  
    1.15 -bool storedGroupKeys(PEP_SESSION session);
    1.16 -bool keyElectionWon(PEP_SESSION session, Identity partner);
    1.17 +int storedGroupKeys(PEP_SESSION session);
    1.18 +int keyElectionWon(PEP_SESSION session, Identity partner);
    1.19  
    1.20  // states
    1.21