sync/distribution.fsm
branchsync
changeset 4260 a5d462cd4724
parent 4258 31cb55240542
child 4272 629aa24207bf
     1.1 --- a/sync/distribution.fsm	Wed Dec 11 16:24:52 2019 +0100
     1.2 +++ b/sync/distribution.fsm	Wed Dec 11 17:31:50 2019 +0100
     1.3 @@ -13,8 +13,10 @@
     1.4      fsm KeyReset 1 {
     1.5          message Commands 1 {
     1.6              auto Version version;
     1.7 -            field Identity ident;
     1.8 -            field Hash newkey;
     1.9 +            list Command commandlist {
    1.10 +                field Identity ident;
    1.11 +                field Hash newkey;
    1.12 +            }
    1.13          }
    1.14      }
    1.15  }