management sync
authorVolker Birk <vb@pep-project.org>
Wed, 05 Feb 2020 07:37:32 +0100
branchsync
changeset 44053863813d3054
parent 4404 34002c111dae
child 4406 a0dd559e0ae1
management
sync/gen_message_func.ysl2
sync/gen_statemachine.ysl2
     1.1 --- a/sync/gen_message_func.ysl2	Tue Feb 04 15:37:10 2020 +0100
     1.2 +++ b/sync/gen_message_func.ysl2	Wed Feb 05 07:37:32 2020 +0100
     1.3 @@ -135,6 +135,8 @@
     1.4  
     1.5      free(session->«yml:lcase(@name)»_state.comm_partner.sender_fpr);
     1.6      session->«yml:lcase(@name)»_state.comm_partner.sender_fpr = NULL;
     1.7 +    free_identity(session->«yml:lcase(@name)»_state.comm_partner.identity);
     1.8 +    session->«yml:lcase(@name)»_state.comm_partner.identity = NULL;
     1.9  
    1.10      // TIDs our comm partner wants to have
    1.11  ||
     2.1 --- a/sync/gen_statemachine.ysl2	Tue Feb 04 15:37:10 2020 +0100
     2.2 +++ b/sync/gen_statemachine.ysl2	Wed Feb 05 07:37:32 2020 +0100
     2.3 @@ -434,6 +434,13 @@
     2.4                  if (status)
     2.5                      goto the_end;
     2.6  
     2.7 +                // we never use this
     2.8 +                if (session->«yml:lcase(@name)»_state.comm_partner.identity
     2.9 +                        && session->«yml:lcase(@name)»_state.comm_partner.identity.fpr) {
    2.10 +                    free(session->«yml:lcase(@name)»_state.comm_partner.identity.fpr);
    2.11 +                    session->«yml:lcase(@name)»_state.comm_partner.identity.fpr = NULL;
    2.12 +                }
    2.13 +
    2.14                  switch (message_type) {
    2.15                      // these messages are being broadcasted
    2.16                      `` for "fsm/message[@type='broadcast']" |>> case «../@name»_PR_«yml:mixedCase(@name)»: