diff options
author | Patrick Simianer <p@simianer.de> | 2016-06-14 14:27:45 +0200 |
---|---|---|
committer | Patrick Simianer <p@simianer.de> | 2016-06-14 14:27:45 +0200 |
commit | abcae4f39145863b4861588f885991b6dac662aa (patch) | |
tree | 18249899164ecc4ffbe51653b11551c06d304258 /util | |
parent | 9df3b86e6a5b087d441c161c03a6fb3298943864 (diff) | |
parent | 1a51b3797d4c3a846e47b105a5edcb8283726651 (diff) |
Merge branch 'master' of github.com:pks/lfpe
Diffstat (limited to 'util')
-rwxr-xr-x | util/run_all | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/util/run_all b/util/run_all index 2fc511c..ef3386a 100755 --- a/util/run_all +++ b/util/run_all @@ -1,7 +1,9 @@ #!/bin/zsh -x -for i in `find ../sessions -maxdepth 1 | cut -d "/" -f 3 | grep -P "^session_"`; do +#for i in `find ../sessions -maxdepth 1 | cut -d "/" -f 3 | grep -P "^sess_"`; do +for i in `cat ../sessions/sessions | cut -f 1`; do echo $i ./util/run_server $i & + sleep 15 done |