those are missing - thank you, Bernie!
authorVolker Birk <vb@pep-project.org>
Wed, 20 May 2020 00:45:26 +0200
changeset 4709263af2ee8e3d
parent 4706 652367ae3ddb
child 4710 ba4371f179e1
those are missing - thank you, Bernie!
sync/sync.fsm
     1.1 --- a/sync/sync.fsm	Tue May 12 17:22:15 2020 +0200
     1.2 +++ b/sync/sync.fsm	Wed May 20 00:45:26 2020 +0200
     1.3 @@ -423,12 +423,15 @@
     1.4  
     1.5          state HandshakingToJoinPhase1 {
     1.6              on Rollback {
     1.7 -                if sameNegotiation
     1.8 +                if sameNegotiation {
     1.9 +                    do untrustThisKey;
    1.10                      go Sole;
    1.11 +                }
    1.12              }
    1.13  
    1.14              on CommitReject {
    1.15                  if sameNegotiation {
    1.16 +                    do untrustThisKey;
    1.17                      do disable;
    1.18                      go End;
    1.19                  }
    1.20 @@ -533,13 +536,17 @@
    1.21              }
    1.22  
    1.23              on Rollback {
    1.24 -                if sameNegotiation
    1.25 +                if sameNegotiation {
    1.26 +                    do untrustThisKey;
    1.27                      go Grouped;
    1.28 +                }
    1.29              }
    1.30  
    1.31              on CommitReject {
    1.32 -                if sameNegotiation
    1.33 +                if sameNegotiation {
    1.34 +                    do untrustThisKey;
    1.35                      go Grouped;
    1.36 +                }
    1.37              }
    1.38  
    1.39              on CommitAccept {