diff options
| author | Patrick Simianer <p@simianer.de> | 2016-07-20 10:55:28 +0200 |
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2016-07-20 10:55:28 +0200 |
| commit | 47b04c4d2e72a473d1b7595c1a6655bcd351f65e (patch) | |
| tree | d4c8709f6f7b2ec0a1f917f85af06d4750995610 /util/run_all | |
| parent | 893f1b87ff267a6afd886951c91a64573f4d9c9f (diff) | |
| parent | fac00976168c6b3c94d01d76babede147e4a0710 (diff) | |
Merge branch 'master' of github.com:pks/lfpe
Diffstat (limited to 'util/run_all')
| -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 |