sync/devicegroup.fsm
changeset 1297 78f5f9894fbd
parent 1281 efff88dcdc59
child 1409 e9bcd6142d54
     1.1 --- a/sync/devicegroup.fsm	Mon Oct 17 23:42:47 2016 +0200
     1.2 +++ b/sync/devicegroup.fsm	Tue Oct 18 00:57:56 2016 +0200
     1.3 @@ -11,6 +11,7 @@
     1.4  
     1.5      broadcast sendBeacon;
     1.6      broadcast sendGroupUpdate;
     1.7 +    broadcast sendUpdateRequest;
     1.8      unencrypted sendBeacon;
     1.9  
    1.10      fsm DeviceState filename=sync {
    1.11 @@ -70,8 +71,14 @@
    1.12          }
    1.13  
    1.14          state Grouped {
    1.15 +            on Init 
    1.16 +                do enterGroup;
    1.17              on KeyGen
    1.18                  do sendGroupUpdate;
    1.19 +            on CannotDecrypt
    1.20 +                do sendUpdateRequest; // TODO: narrow request to missing key
    1.21 +            on UpdateRequest
    1.22 +                do sendGroupUpdate;
    1.23              on Beacon(Identity partner)
    1.24                  do sendHandshakeRequest(partner);
    1.25              on HandshakeRequest(Identity partner) {