reset own keys on device that's left group sync
authorKrista 'DarthMama' Bennett <krista@pep.foundation>
Tue, 21 Jan 2020 15:11:58 +0100
branchsync
changeset 43580f4c24ab43b6
parent 4357 f0e3357418ab
child 4359 2610c483ac63
child 4360 1ab2ccbf5f9f
reset own keys on device that's left group
sync/cond_act_sync.yml2
sync/sync.fsm
     1.1 --- a/sync/cond_act_sync.yml2	Mon Jan 20 20:44:57 2020 +0100
     1.2 +++ b/sync/cond_act_sync.yml2	Tue Jan 21 15:11:58 2020 +0100
     1.3 @@ -607,3 +607,8 @@
     1.4  ||
     1.5      return key_reset_own_grouped_keys(session);
     1.6  ||
     1.7 +
     1.8 +action resetOwnKeysUngrouped
     1.9 +||
    1.10 +    return key_reset_all_own_keys(session);
    1.11 +||
     2.1 --- a/sync/sync.fsm	Mon Jan 20 20:44:57 2020 +0100
     2.2 +++ b/sync/sync.fsm	Tue Jan 21 15:11:58 2020 +0100
     2.3 @@ -386,8 +386,10 @@
     2.4          }
     2.5  
     2.6          state DisableOnInitUnledGroupKeyReset {
     2.7 -            on InitUnledGroupKeyReset
     2.8 +            on InitUnledGroupKeyReset {
     2.9                  do disable;
    2.10 +                do resetOwnKeysUngrouped;
    2.11 +            }    
    2.12          }
    2.13  
    2.14          // sole device handshaking with group
    2.15 @@ -717,4 +719,3 @@
    2.16          }
    2.17      }
    2.18  }
    2.19 -