diff options
author | Patrick Simianer <p@simianer.de> | 2016-06-28 07:54:28 +0200 |
---|---|---|
committer | Patrick Simianer <p@simianer.de> | 2016-06-28 07:54:28 +0200 |
commit | 8dbeb939f88acf140da08b43f07331e91ce21464 (patch) | |
tree | 36d630d1c163466c5ee5b8766104438601d7b5ae | |
parent | 32715e9afbc1f08a32c3ef55c08d3a2ae1b2816e (diff) | |
parent | 7eda85c78af2fbe8d42580c6e3065cb254f40b26 (diff) |
Merge branch 'master' of github.com:pks/lfpe
-rw-r--r-- | js/interface.js | 3 | ||||
-rwxr-xr-x | server.rb | 1 | ||||
-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 |
6 files changed, 7 insertions, 3 deletions
diff --git a/js/interface.js b/js/interface.js index 58c89d8..677c343 100644 --- a/js/interface.js +++ b/js/interface.js @@ -450,6 +450,9 @@ var request_and_process_next = function () $("#next").html("Next"); $("#oov_tgt0").focus(); not_working(false); + if (ui_type == "g") { + DE_ui_lock = true; + } // translation mode } else { @@ -682,6 +682,7 @@ get '/reset_progress' do # reset current session update_database true $confirmed = true $last_reply = nil + $oov_corrected.clear return "progress reset: done" end 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 |