diff options
| -rwxr-xr-x | util/run_all | 2 | ||||
| -rwxr-xr-x | util/run_beta_test | 2 | ||||
| -rwxr-xr-x | util/run_demo | 2 | ||||
| -rwxr-xr-x | util/run_session (renamed from util/run_server) | 0 |
4 files changed, 3 insertions, 3 deletions
diff --git a/util/run_all b/util/run_all index 6b4b382..a873e63 100755 --- a/util/run_all +++ b/util/run_all @@ -3,7 +3,7 @@ #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 & + ./util/run_session $i & sleep 60 done diff --git a/util/run_beta_test b/util/run_beta_test index 9180b52..7e8e4e7 100755 --- a/util/run_beta_test +++ b/util/run_beta_test @@ -5,6 +5,6 @@ cd /srv/postedit/lfpe/util for i in `ls -1 ../../sessions/ | grep -v "_1_" | grep -v data | grep -v toy`; do echo $i echo $(basename $i) - ./run_server $(basename $i) &; sleep 600; + ./run_session $(basename $i) &; sleep 600; done diff --git a/util/run_demo b/util/run_demo index 2140a1c..74ff529 100755 --- a/util/run_demo +++ b/util/run_demo @@ -1,4 +1,4 @@ #!/bin/zsh -x -for i in {0..24}; do for j in pe nomt; do ./util/run_server g0_"$i"_"$j" &; done; done +for i in {0..24}; do for j in pe nomt; do ./util/run_session g0_"$i"_"$j" &; done; done diff --git a/util/run_server b/util/run_session index a4b7a6c..a4b7a6c 100755 --- a/util/run_server +++ b/util/run_session |