handshake on multiple devices sync
authorVolker Birk <vb@pep-project.org>
Fri, 25 Oct 2019 15:16:54 +0200
branchsync
changeset 4141efcda28ffd7e
parent 4140 0935823b4b9a
child 4143 516f9d4e7072
child 4144 f49072f9ffb4
child 4151 5fb6578cf2a9
handshake on multiple devices
sync/cond_act_sync.yml2
sync/sync.fsm
     1.1 --- a/sync/cond_act_sync.yml2	Fri Oct 25 14:40:40 2019 +0200
     1.2 +++ b/sync/cond_act_sync.yml2	Fri Oct 25 15:16:54 2019 +0200
     1.3 @@ -492,8 +492,8 @@
     1.4  
     1.5  action storeThisKey
     1.6  ||
     1.7 -    assert(session->sync_state.keysync.key.buf && session->sync_state.keysync.key.size);
     1.8 -    if (!(session->sync_state.keysync.key.buf && session->sync_state.keysync.key.size))
     1.9 +    assert(session->sync_state.keysync.key.size);
    1.10 +    if (!session->sync_state.keysync.key.size)
    1.11          return PEP_ILLEGAL_VALUE;
    1.12  
    1.13      char *fpr = strndup(session->sync_state.keysync.key.buf, session->sync_state.keysync.key.size);
     2.1 --- a/sync/sync.fsm	Fri Oct 25 14:40:40 2019 +0200
     2.2 +++ b/sync/sync.fsm	Fri Oct 25 15:16:54 2019 +0200
     2.3 @@ -309,8 +309,8 @@
     2.4              }
     2.5  
     2.6              on GroupHandshake {
     2.7 +                do storeNegotiation;
     2.8                  do storeThisKey;
     2.9 -                do storeNegotiation;
    2.10                  go HandshakingGrouped;
    2.11              }
    2.12