removing fpr in messages, but adding a break :-/ sync
authorVolker Birk <vb@pep-project.org>
Fri, 15 Mar 2019 17:21:19 +0100
branchsync
changeset 33404b4b1262b415
parent 3339 bd26d8c34462
child 3341 18d3eed4c32f
removing fpr in messages, but adding a break :-/
sync/gen_statemachine.ysl2
sync/sync.fsm
     1.1 --- a/sync/gen_statemachine.ysl2	Fri Mar 15 16:06:53 2019 +0100
     1.2 +++ b/sync/gen_statemachine.ysl2	Fri Mar 15 17:21:19 2019 +0100
     1.3 @@ -449,6 +449,7 @@
     1.4                                  goto the_end;
     1.5                              }
     1.6                          }
     1.7 +                        break;
     1.8  
     1.9                      default:
    1.10                          status = PEP_«yml:ucase(@name)»_ILLEGAL_MESSAGE;
     2.1 --- a/sync/sync.fsm	Fri Mar 15 16:06:53 2019 +0100
     2.2 +++ b/sync/sync.fsm	Fri Mar 15 17:21:19 2019 +0100
     2.3 @@ -312,13 +312,11 @@
     2.4              field TID challenge;
     2.5              auto Version version;
     2.6              field TID transaction;
     2.7 -            field Hash fpr;
     2.8              field bool is_group;
     2.9          }
    2.10  
    2.11          message HandshakeAnswer 4 {
    2.12              field TID transaction;
    2.13 -            field Hash fpr;
    2.14          }
    2.15  
    2.16          message Rollback 5, security=untrusted {