go grouped sync
authorVolker Birk <vb@pep-project.org>
Fri, 01 Nov 2019 12:15:42 +0100
branchsync
changeset 41482014852faf63
parent 4147 3f85e9d63d6d
child 4149 d17296807b70
child 4164 a2090a79af53
go grouped
sync/sync.fsm
     1.1 --- a/sync/sync.fsm	Tue Oct 29 17:18:52 2019 +0100
     1.2 +++ b/sync/sync.fsm	Fri Nov 01 12:15:42 2019 +0100
     1.3 @@ -433,6 +433,8 @@
     1.4              on GroupTrustThisKey {
     1.5                  do hideHandshakeDialog;
     1.6                  do trustThisKey;
     1.7 +                if sameNegotiation
     1.8 +                    go Grouped;
     1.9              }
    1.10  
    1.11              on GroupKeys
    1.12 @@ -454,6 +456,8 @@
    1.13  
    1.14              on GroupTrustThisKey {
    1.15                  do trustThisKey;
    1.16 +                if sameNegotiation
    1.17 +                    go Grouped;
    1.18              }
    1.19  
    1.20              on GroupKeys
    1.21 @@ -481,6 +485,8 @@
    1.22  
    1.23              on GroupTrustThisKey {
    1.24                  do trustThisKey;
    1.25 +                if sameNegotiation
    1.26 +                    go Grouped;
    1.27              }
    1.28  
    1.29              on GroupKeys
    1.30 @@ -537,6 +543,7 @@
    1.31          // default: security=trusted only
    1.32          message GroupTrustThisKey 11 {
    1.33              field Hash key;
    1.34 +            field TID negotiation;
    1.35          }
    1.36  
    1.37          // trust in future