From ec76c2c915ab02cbb06934c7dfeb109f00dcea3c Mon Sep 17 00:00:00 2001 From: Patrick Simianer Date: Wed, 8 Jun 2016 15:45:58 +0200 Subject: over-engineering --- index.php | 44 +++++++++++++++++++++++++++++++++++--------- pool.php | 6 +++--- util/run_all | 3 ++- 3 files changed, 40 insertions(+), 13 deletions(-) diff --git a/index.php b/index.php index 4aed520..320e653 100644 --- a/index.php +++ b/index.php @@ -3,6 +3,9 @@ Post-Editing Interface + @@ -12,10 +15,10 @@
Please enter your session key: - +     Session type:     @@ -23,10 +26,34 @@
+ + - -Assignment + + + diff --git a/pool.php b/pool.php index ad8de29..bce819c 100644 --- a/pool.php +++ b/pool.php @@ -11,7 +11,7 @@ -

Click on a table cell, enter your name, and click 'Begin' to begin your session. Reload the page if you clicked on the wrong cell.

+

Click on a table cell, enter your name, and click 'Begin' to begin your session. Reload the page if you clicked on the wrong cell or if the session is already used by someone else.

#0
@@ -41,8 +41,8 @@ $max = $j; } } - fclose($f); - + fclose($f); + for ($i=1; $i<=$max; $i++) { echo "#".$i."
".$b[$i]."\n"; if ($i%5 == 0) { 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 -- cgit v1.2.3