sync/sync.fsm
changeset 582 fa50f202b57c
parent 571 2b1666bc1b45
child 590 d28f8852ac45
     1.1 --- a/sync/sync.fsm	Tue May 10 10:02:30 2016 +0200
     1.2 +++ b/sync/sync.fsm	Tue May 10 10:32:47 2016 +0200
     1.3 @@ -10,7 +10,7 @@
     1.4      // all messages have a timestamp, time out and are removed after timeout
     1.5  
     1.6      fsm DeviceState {
     1.7 -        on init {
     1.8 +        on Init {
     1.9              if (storedGroupKeys)
    1.10                  go Grouped;
    1.11              go Sole;
    1.12 @@ -23,15 +23,15 @@
    1.13                  do sendBeacon;  // cry, baby
    1.14              on Beacon(identity partner) // this event will not happen for already
    1.15                                          // rejected partners
    1.16 -                do sendHandshakeRequest;
    1.17 +                do sendHandshakeRequest(partner);
    1.18              on HandshakeRequest(identity partner) {
    1.19 -                do sendHandshakeRequest;
    1.20 +                do sendHandshakeRequest(partner);
    1.21                  go HandshakingSole(partner);
    1.22              }
    1.23          }
    1.24  
    1.25          state HandshakingSole(identity partner) {
    1.26 -            on init
    1.27 +            on Init
    1.28                  do showHandshake(partner);
    1.29              on HandshakeRejected(identity partner) {
    1.30                  do reject(partner);             // sends Reject to partner and
    1.31 @@ -65,7 +65,7 @@
    1.32              on KeyGen
    1.33                  do sendOwnKeys; // always send all keys
    1.34              on HandshakeRequest(identity partner) {
    1.35 -                do sendHandshakeRequest;
    1.36 +                do sendHandshakeRequest(partner);
    1.37                  do showHandshake(partner);
    1.38              }
    1.39              on HandshakeRejected(identity partner)