diff options
Diffstat (limited to 'util')
-rwxr-xr-x | util/run_all | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/run_all b/util/run_all index a873e63..e82ced9 100755 --- a/util/run_all +++ b/util/run_all @@ -4,6 +4,6 @@ for i in `cat ../sessions/sessions | cut -f 1`; do echo $i ./util/run_session $i & - sleep 60 + sleep 10 done |