summaryrefslogtreecommitdiff
path: root/util
diff options
context:
space:
mode:
authorPatrick Simianer <p@simianer.de>2016-06-28 07:52:17 +0200
committerPatrick Simianer <p@simianer.de>2016-06-28 07:52:17 +0200
commit11b787cf91dedab3393d68ea6537bf257e865c0d (patch)
treed873d10cef188caa33c561e189955b35c1ecb04c /util
parent88879ebcd230e7ace8c7819e8d02f83a7273d9a8 (diff)
mv
Diffstat (limited to 'util')
-rwxr-xr-xutil/run_all2
-rwxr-xr-xutil/run_beta_test2
-rwxr-xr-xutil/run_demo2
-rwxr-xr-xutil/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