diff options
author | Patrick Simianer <p@simianer.de> | 2016-06-20 13:26:24 +0200 |
---|---|---|
committer | Patrick Simianer <p@simianer.de> | 2016-06-20 13:26:24 +0200 |
commit | 758e8671e0148d2abb0895a26593c33601aa44cc (patch) | |
tree | 8f6a0b70c480d50f308854f6b910872030671eca /util | |
parent | 550748d07cb660c28d28e41eee256b3371d4ce62 (diff) | |
parent | af01bff529f5b70e2e552ddd98b980e8222a1876 (diff) |
Merge branch 'master' of github.com:pks/lfpe
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 ef3386a..6b4b382 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_server $i & - sleep 15 + sleep 60 done |