diff options
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 |