diff options
Diffstat (limited to 'util')
-rwxr-xr-x | util/run_all | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/util/run_all b/util/run_all index 2fc511c..801d553 100755 --- a/util/run_all +++ b/util/run_all @@ -1,6 +1,7 @@ #!/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 & done |