From 74236b602ad5ced3c740da801d976ed78f9d8095 Mon Sep 17 00:00:00 2001
From: Bruno Ribas <brunoribas@gmail.com>
Date: Mon, 16 Nov 2020 15:33:40 -0300
Subject: Normal judges may check all submissions but cannot change the
 veredict

Signed-off-by: Bruno Ribas <brunoribas@gmail.com>
---
 src/judge/runview.php | 237 ++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 237 insertions(+)
 create mode 100644 src/judge/runview.php

(limited to 'src/judge/runview.php')

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>
-- 
cgit v1.2.3