diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/monitor.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/monitor.sh b/scripts/monitor.sh index 2d2722b..444be5d 100755 --- a/scripts/monitor.sh +++ b/scripts/monitor.sh @@ -69,7 +69,7 @@ function main() { wit1_pub=`cat wit1_pub` wit1_key_hash=`cat wit1_pubhash` # We don't know how much to sleep - sleep 480 + sleep 900 get_tree_size check_inclusion_proof $tree_size $seed_value check_add_cosignature $wit1_key_hash $wit1_priv |