Merge branch 'master' of github.com:pks/lfpe

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