Normal judges may check all submissions but cannot change the veredict

Signed-off-by: Bruno Ribas <brunoribas@gmail.com>

3 files changed, 393 insertions, 0 deletions

diff --git a/src/judge/allrunlist.php b/src/judge/allrunlist.php
new file mode 100644
index 0000000..47d10c1
--- /dev/null
+++ b/src/judge/allrunlist.php
@@ -0,0 +1,153 @@
+<?php
+////////////////////////////////////////////////////////////////////////////////
+//BOCA Online Contest Administrator
+//    Copyright (C) 2003-2012 by BOCA Development Team (bocasystem@gmail.com)
+//
+//    This program is free software: you can redistribute it and/or modify
+//    it under the terms of the GNU General Public License as published by
+//    the Free Software Foundation, either version 3 of the License, or
+//    (at your option) any later version.
+//
+//    This program is distributed in the hope that it will be useful,
+//    but WITHOUT ANY WARRANTY; without even the implied warranty of
+//    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+//    GNU General Public License for more details.
+//    You should have received a copy of the GNU General Public License
+//    along with this program.  If not, see <http://www.gnu.org/licenses/>.
+////////////////////////////////////////////////////////////////////////////////
+// Last modified 05/aug/2012 by cassio@ime.usp.br
+require 'header.php';
+$runeditphp='runview.php';
+if(isset($_GET["order"]) && $_GET["order"] != "") {
+$order = myhtmlspecialchars($_GET["order"]);
+	$_SESSION["runline"] = $order;
+} else {
+	if(isset($_SESSION["runline"]))
+		$order = $_SESSION["runline"];
+	else
+		$order = '';
+}
+?>
+
+<form name="form1" method="post" action="<?php echo $runphp; ?>">
+  <input type=hidden name="confirmation" value="noconfirm" />
+<br>
+<table width="100%" border=1>
+ <tr>
+  <td><b><a href="<?php echo $runphp; ?>?order=run">Run #</a></b></td>
+  <td><b><a href="<?php echo $runphp; ?>?order=site">Site</a></b></td>
+<?php if($runphp == "run.php") { ?>
+  <td><b><a href="<?php echo $runphp; ?>?order=user">User</a></b></td>
+<?php } ?>
+  <td><b>Time</b></td>
+  <td><b><a href="<?php echo $runphp; ?>?order=problem">Problem</a></b></td>
+  <td><b><a href="<?php echo $runphp; ?>?order=language">Language</a></b></td>
+<!--  <td><b>Filename</b></td> -->
+  <td><b><a href="<?php echo $runphp; ?>?order=status">Status</a></b></td>
+<!-- <td><b><a href="<?php echo $runphp; ?>?order=judge">Judge (Site)</a></b></td> -->
+<!--  <td><b>AJ</b></td> -->
+  <td><b><a href="<?php echo $runphp; ?>?order=answer">Answer</a></b></td>
+ </tr>
+<?php
+if (($s=DBSiteInfo($_SESSION["usertable"]["contestnumber"],$_SESSION["usertable"]["usersitenumber"])) == null)
+        ForceLoad("../index.php");
+
+// forca aparecer as runs do proprio site
+if (trim($s["sitejudging"])!="") $s["sitejudging"].=",".$_SESSION["usertable"]["usersitenumber"];
+else $s["sitejudging"]=$_SESSION["usertable"]["usersitenumber"];
+
+$run = DBAllRunsInSites($_SESSION["usertable"]["contestnumber"], $s["sitejudging"], $order);
+
+for($judged=0; $judged<2; $judged++) {
+for ($i=0; $i<count($run); $i++) {
+  if($run[$i]["status"] == 'gone') continue;
+  if(($run[$i]['status'] != 'judged' && $judged==0) ||
+     ($run[$i]['status'] == 'judged' && $judged==1)) {
+
+#for ($i=0; $i<count($run); $i++) {
+  if($run[$i]["answer1"] != 0 && $run[$i]["answer2"] != 0 && ($run[$i]["status"] != "judged" && $run[$i]["status"] != 'deleted')) {
+    if($runphp == "runchief.php")
+      echo " <tr bgcolor=\"ff0000\">\n";
+    else echo "<tr>\n";
+    echo "  <td nowrap bgcolor=\"ff0000\">";
+  }
+  else {
+    echo "  <tr><td nowrap>";
+  }
+  //echo "<input type=\"checkbox\" name=\"cbox_" . $run[$i]["number"] . "_" . $run[$i]["site"] . "\" />"; 
+  echo " <a href=\"" . $runeditphp . "?runnumber=".$run[$i]["number"]."&runsitenumber=".$run[$i]["site"] .
+       "\">" . $run[$i]["number"] . "</a></td>\n";
+
+  echo "  <td nowrap>" . $run[$i]["site"] . "</td>\n";
+  if($runphp == "run.php") {
+    if ($run[$i]["user"] != "") {
+	$u = DBUserInfo ($_SESSION["usertable"]["contestnumber"], $run[$i]["site"], $run[$i]["user"]);
+	echo "  <td nowrap>" . $u["username"] . "</td>\n";
+    }
+  }
+  echo "  <td nowrap>" . dateconvminutes($run[$i]["timestamp"]) . "</td>\n";
+  echo "  <td nowrap>" . $run[$i]["problem"] . "</td>\n";
+  echo "  <td nowrap>" . $run[$i]["language"] . "</td>\n";
+//  echo "  <td nowrap>" . $run[$i]["filename"] . "</td>\n";
+  if ($run[$i]["judge"] == $_SESSION["usertable"]["usernumber"] && 
+      $run[$i]["judgesite"] == $_SESSION["usertable"]["usersitenumber"] && $run[$i]["status"] == "judging")
+    $color="ff7777";
+  else if ($run[$i]["status"]== "judged+" && $run[$i]["judge"]=="") $color="ffff00";
+  else if ($run[$i]["status"]== "judged") $color="bbbbff";
+  else if ($run[$i]["status"] == "judging" || $run[$i]["status"]== "judged+") $color="77ff77";
+  else if ($run[$i]["status"] == "openrun") $color="ffff88";
+  else $color="ffffff";
+
+  echo "  <td nowrap bgcolor=\"#$color\">" . $run[$i]["status"] . "</td>\n";
+
+  if(false){
+  if ($run[$i]["autoend"] != "") {
+    $color="bbbbff";
+    if ($run[$i]["autoanswer"]=="") $color="ff7777";
+  }
+  else if ($run[$i]["autobegin"]=="") $color="ffff88";
+  else $color="77ff77";
+  echo "<td bgcolor=\"#$color\">&nbsp;&nbsp;</td>\n";
+  }
+
+  if ($run[$i]["answer"] == "") {
+    echo "  <td>&nbsp;</td>\n";
+  } else {
+    echo "  <td>" . $run[$i]["answer"];
+    if($run[$i]['yes']=='t') {
+          echo " <img alt=\"".$run[$i]["colorname"]."\" width=\"10\" ".
+			  "src=\"" . balloonurl($run[$i]["color"]) ."\" />";
+    }
+    echo "</td>\n";
+  }
+  echo " </tr>\n";
+}
+}
+}
+
+echo "</table>";
+if (count($run) == 0) echo "<br><center><b><font color=\"#ff0000\">NO RUNS AVAILABLE</font></b></center>";
+else {
+?>
+  <br>
+<!--
+  <script language="javascript">
+    function conf() {
+      if (confirm("Confirm?")) {
+        document.form1.confirmation.value='confirm';
+      }
+    }
+  </script>
+  <center>
+<b>Click on the number of a run to edit it or select them with<br />the checkboxes and use the buttons to work on multiple runs:</b><br /><br />
+      <input type="submit" name="auto" value="Re-run autojudge for selected runs" onClick="conf()">
+      <input type="submit" name="open" value="Open selected runs for rejudging" onClick="conf()">
+<br><br>
+  </center>
+-->
+  </form>
+<?php
+}
+?>
+</body>
+</html>
diff --git a/src/judge/header.php b/src/judge/header.php
index ac5c699..2874366 100644
--- a/src/judge/header.php
+++ b/src/judge/header.php
@@ -92,6 +92,9 @@ echo "  <td align=center width=\"10%\"><a class=menu style=\"font-weight:bold\"
 if($isboss) {
   echo "  <td align=center width=\"10%\"><a class=menu style=\"font-weight:bold\" href=runchief.php>Chief ($nrchief)</a></td>\n";
 }
+{
+  echo "  <td align=center width=\"10%\"><a class=menu style=\"font-weight:bold\" href=allrunlist.php>All runs </a></td>\n";
+}
 echo "  <td align=center width=\"10%\"><a class=menu style=\"font-weight:bold\" href=score.php>Score</a></td>\n";
 echo "  <td align=center width=\"10%\"><a class=menu style=\"font-weight:bold\" href=clar.php>Clarifications ($nc)</a></td>\n";
 
diff --git a/src/judge/runview.php b/src/judge/runview.php
new file mode 100644
index 0000000..5ccbabc
--- /dev/null
+++ b/src/judge/runview.php
@@ -0,0 +1,237 @@
+<?php
+////////////////////////////////////////////////////////////////////////////////
+//BOCA Online Contest Administrator
+//    Copyright (C) 2003-2012 by BOCA Development Team (bocasystem@gmail.com)
+//
+//    This program is free software: you can redistribute it and/or modify
+//    it under the terms of the GNU General Public License as published by
+//    the Free Software Foundation, either version 3 of the License, or
+//    (at your option) any later version.
+//
+//    This program is distributed in the hope that it will be useful,
+//    but WITHOUT ANY WARRANTY; without even the implied warranty of
+//    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+//    GNU General Public License for more details.
+//    You should have received a copy of the GNU General Public License
+//    along with this program.  If not, see <http://www.gnu.org/licenses/>.
+////////////////////////////////////////////////////////////////////////////////
+// Last modified 05/aug/2012 by cassio@ime.usp.br
+require 'header.php';
+
+// ???
+$runsitenumber = myhtmlspecialchars($_GET["runsitenumber"]);
+$runnumber = myhtmlspecialchars($_GET["runnumber"]);
+
+if (($a = DBChiefGetRunToAnswer($runnumber, $runsitenumber, 
+		$_SESSION["usertable"]["contestnumber"])) === false) {
+	MSGError("Another judge got it first.");
+	ForceLoad($runphp);
+}
+
+$b = DBGetProblemData($_SESSION["usertable"]["contestnumber"], $a["problemnumber"]);
+?>
+<br><br><center><b>Use the following fields to judge the run:
+</b></center>
+<form name="form1" method="post" action="<?php echo $runeditphp; ?>">
+  <input type=hidden name="confirmation" value="noconfirm" />
+  <center>
+    <table border="1">
+      <tr> 
+        <td width="27%" align=right><b>Site:</b></td>
+        <td width="83%"> 
+		<input type=hidden name="sitenumber" value="<?php echo $a["sitenumber"]; ?>" />
+		<?php echo $a["sitenumber"]; ?>
+        </td>
+      </tr>
+      <tr> 
+        <td width="27%" align=right><b>Number:</b></td>
+        <td width="83%"> 
+		<input type=hidden name="number" value="<?php echo $a["number"]; ?>" />
+		<?php echo $a["number"]; ?>
+        </td>
+      </tr>
+      <tr> 
+        <td width="27%" align=right><b>Time:</b></td>
+        <td width="83%"> 
+		<?php echo dateconvminutes($a["timestamp"]); ?>
+        </td>
+      </tr>
+      <tr> 
+        <td width="27%" align=right><b>Problem</b><i> <?php echo $a["problemname"]; ?></i>: </td>
+        <td width="83%"> 
+<?php
+for ($i=0;$i<count($b);$i++) {
+	echo "<b>Input:</b><a href=\"../filedownload.php?". filedownload($b[$i]["inputoid"], $b[$i]["inputfilename"]) ."\">";
+	echo $b[$i]["inputfilename"] . "</a>";
+	echo " <a href=\"#\" class=menu style=\"font-weight:bold\" onClick=\"window.open('../filewindow.php?".
+		filedownload($b[$i]["inputoid"], $b[$i]["inputfilename"]) ."', 'View$i - INPUT','width=680,height=600,scrollbars=yes,resizable=yes')\">view</a> &nbsp;";
+
+	if(isset($b[$i]["soloid"])) {
+	  echo "<b>Sol:</b><a href=\"../filedownload.php?". filedownload($b[$i]["soloid"], $b[$i]["solfilename"])  . "\">";
+	  echo $b[$i]["solfilename"] . "</a>";
+	}
+	echo " <a href=\"#\" class=menu style=\"font-weight:bold\" onClick=\"window.open('../filewindow.php?".
+		filedownload($b[$i]["soloid"], $b[$i]["solfilename"]) ."', 'View$i - CORRECT OUTPUT','width=680,height=600,scrollbars=yes,resizable=yes')\">view</a>";
+}
+?>
+	&nbsp;</td>
+      </tr>
+      <tr> 
+        <td width="27%" align=right><b>Language</b>:</td>
+        <td width="83%"><i> <?php echo $a["language"]; ?></i>
+        &nbsp;</td>
+      </tr>
+      <tr> 
+        <td width="27%" align=right><b>Source code:</b></td>
+        <td width="83%"> 
+<?php
+			echo "<a href=\"../filedownload.php?". filedownload($a["sourceoid"],$a["sourcename"]) . "\">" . $a["sourcename"] . "</a>\n";
+echo "<a href=\"#\" class=menu style=\"font-weight:bold\" onClick=\"window.open('../filewindow.php?" .
+filedownload($a["sourceoid"],$a["sourcename"]) ."', 'View - SOURCE', ".
+"'width=680,height=600,scrollbars=yes,resizable=yes')\">view</a>\n";
+?>
+        </td>
+      </tr>
+      <tr>
+        <td width="27%" align=right><b>Answer 1:</b></td>
+        <td width="83%">
+<?php
+$ans = DBGetAnswers($_SESSION["usertable"]["contestnumber"]);
+for ($i=0;$i<count($ans);$i++)
+	if ($a["answer1"] == $ans[$i]["number"]) {
+//	  if($ans[$i]["fake"] != "t") {
+          if($a["judgesite1"] != "" && $a["judge1"] != "") {
+   	   $uu = DBUserInfo ($_SESSION["usertable"]["contestnumber"], $a["judgesite1"], $a["judge1"]);
+   	   echo $ans[$i]["desc"] . " [judge=" . $uu["username"] . " (" . $a["judgesite1"] . ")]";
+	  } else
+	   echo $ans[$i]["desc"];
+        }
+?>
+        </td>
+      </tr>
+      <tr>
+        <td width="27%" align=right><b>Answer 2:</b></td>
+        <td width="83%">
+<?php
+$ans = DBGetAnswers($_SESSION["usertable"]["contestnumber"]);
+for ($i=0;$i<count($ans);$i++)
+	if ($a["answer2"] == $ans[$i]["number"]) {
+//	  if($ans[$i]["fake"] != "t") {
+          if($a["judgesite2"] != "" && $a["judge2"] != "") {
+   	   $uu = DBUserInfo ($_SESSION["usertable"]["contestnumber"], $a["judgesite2"], $a["judge2"]);
+   	   echo $ans[$i]["desc"] . " [judge=" . $uu["username"] . " (" . $a["judgesite2"] . ")]";
+	  } else
+	   echo $ans[$i]["desc"];
+	}
+?>
+        </td>
+      </tr>
+
+<!--
+      <tr> 
+        <td width="27%" align=right><b>Notify user:</b></td>
+        <td width="83%">
+          <input class=checkbox type=checkbox name="notifyuser" value="yes"
+<?php 
+if (($s=DBSiteInfo($_SESSION["usertable"]["contestnumber"],$_SESSION["usertable"]["usersitenumber"])) == null)
+        ForceLoad("../index.php");
+
+if ($a["timestamp"] < $s["sitelastmileanswer"]) echo "checked"; ?>>
+(do not change this unless you know exactly what you are doing)
+        </td>
+      </tr>
+      <tr> 
+        <td width="27%" align=right><b>Update score board:</b></td>
+        <td width="83%">
+          <input class=checkbox type=checkbox name="updatescore" value="yes"
+<?php if ($a["timestamp"] < $s["sitelastmilescore"]) echo "checked"; ?>>
+(do not change this unless you know exactly what you are doing)
+        </td>
+      </tr>
+-->
+    </table>
+  </center>
+  <br>
+<!--
+  <script language="javascript">
+    function conf() {
+      if (confirm("Confirm?")) {
+        document.form1.confirmation.value='confirm';
+      }
+    }
+  </script>
+  <center>
+      <input type="submit" name="Submit" value="Judge" onClick="conf()">
+     <input type="submit" name="open" value="Open run for rejudging" onClick="conf()">
+      <input type="submit" name="cancel" value="Cancel editing">
+      <input type="submit" name="delete" value="Delete" onClick="conf()">
+      <input type="reset" name="Submit2" value="Clear">
+<br><br>
+  </center>
+
+-->
+  <center>
+<br>
+<b>Autojudging:</b>
+<!--
+<input type="submit" name="giveup" value="Renew">
+-->
+<br><br>
+  <table border="1">
+  <tr>
+        <td width="27%" align=right><b>Autojudging answer:</b></td>
+        <td width="83%"> 
+<?php
+if($a["autobegin"]!="" && $a["autoend"]=="")
+      echo "in progress";
+else if($a["autoend"]!="") {
+      if($a["autoanswer"]!="") echo $a["autoanswer"];
+      else echo "Autojudging error";
+} else
+      echo "unavailable";
+?>
+        </td>
+  </tr>
+  <tr>
+        <td width="27%" align=right><b>Autojudged by:</b></td>
+<?php if($a["autobegin"]!="" && $a["autoend"]=="")
+      echo "<td width=\"83%\">". $a["autoip"] ." since ". dateconvsimple($a["autobegin"]) ."</td>";
+else if($a["autoend"]!="")
+      echo "<td width=\"83%\">". $a["autoip"] ." from ". dateconvsimple($a["autobegin"]) ." to ". dateconvsimple($a["autoend"]) ."</td>";
+else
+      echo "<td width=\"83%\">unavailable</td>";
+?>
+  </tr>
+  <tr> 
+        <td width="27%" align=right><b>Standard output:</b></td>
+        <td width="83%"> 
+<?php 
+if($a["autostdout"]!="") {
+	echo "<a href=\"../filedownload.php?".filedownload($a["autostdout"],"stdout") ."\">stdout</a>\n";
+	echo "<a href=\"#\" class=menu style=\"font-weight:bold\" onClick=\"window.open('../filewindow.php?".
+	filedownload($a["autostdout"],"stdout") ."', 'View - STDOUT','width=680,height=600,scrollbars=yes,".
+	"resizable=yes')\">view</a>\n";
+} else
+      echo "unavailable";
+?>
+        </td>
+  </tr>
+  <tr> 
+        <td width="27%" align=right><b>Standard error:</b></td>
+        <td width="83%"> 
+<?php 
+if($a["autostderr"]!="") {
+	echo "<a href=\"../filedownload.php?". filedownload($a["autostderr"],"stderr") . "\">stderr</a>\n";
+	echo "<a href=\"#\" class=menu style=\"font-weight:bold\" onClick=\"window.open('../filewindow.php?".
+	filedownload($a["autostderr"],"stderr") ."', 'View - STDERR','width=680,height=600,scrollbars=yes,".
+	"resizable=yes')\">view</a>\n";
+} else
+      echo "unavailable";
+?>
+        </td>
+  </tr>
+  </table></center>
+
+</form>
+</body>
+</html>