IOS-1576 increases timeout, 60 does not work involving UI IOS-1576
authorbuff <andreas@pep-project.org>
Fri, 28 Jun 2019 18:16:23 +0200
branchIOS-1576
changeset 3892e7e371c1ad53
parent 3891 52c40b7fa9f4
child 3896 dd9071d6d901
IOS-1576 increases timeout, 60 does not work involving UI
sync/sync.fsm
     1.1 --- a/sync/sync.fsm	Fri Jun 28 18:15:14 2019 +0200
     1.2 +++ b/sync/sync.fsm	Fri Jun 28 18:16:23 2019 +0200
     1.3 @@ -10,7 +10,7 @@
     1.4  protocol Sync 1 {
     1.5      // all messages have a timestamp, time out and are removed after timeout
     1.6  
     1.7 -    fsm KeySync 1, threshold=60 {
     1.8 +    fsm KeySync 1, threshold=300 {
     1.9          version 1, 2;
    1.10  
    1.11          state InitState {