diff options
| author | cassiopc <cassiopc@gmail.com> | 2012-08-08 17:52:19 +0000 |
|---|---|---|
| committer | cassiopc <cassiopc@gmail.com> | 2012-08-08 17:52:19 +0000 |
| commit | 5d4eca5257a60c5f1de043fdf3f67e0a9df011f4 (patch) | |
| tree | 6d4ec6ffe1b6490be4120c0f06ae6cdabca41dd8 /boca-1.5.0/src/judge/runeditchief.php | |
| parent | f8c7c32e3ea6417ccf04309ec521b39a0c20414d (diff) | |
| download | boca-5d4eca5257a60c5f1de043fdf3f67e0a9df011f4.tar.gz boca-5d4eca5257a60c5f1de043fdf3f67e0a9df011f4.zip | |
many small bug fixes
Diffstat (limited to 'boca-1.5.0/src/judge/runeditchief.php')
| -rw-r--r-- | boca-1.5.0/src/judge/runeditchief.php | 15 |
1 files changed, 2 insertions, 13 deletions
diff --git a/boca-1.5.0/src/judge/runeditchief.php b/boca-1.5.0/src/judge/runeditchief.php index 6395650..c538dca 100644 --- a/boca-1.5.0/src/judge/runeditchief.php +++ b/boca-1.5.0/src/judge/runeditchief.php @@ -96,7 +96,6 @@ if (($a = DBChiefGetRunToAnswer($runnumber, $runsitenumber, } $b = DBGetProblemData($_SESSION["usertable"]["contestnumber"], $a["problemnumber"]); -$c = DBGetLanguageData($_SESSION["usertable"]["contestnumber"], $a["langnumber"], $a["problemnumber"]); ?> <br><br><center><b>Use the following fields to judge the run: </b></center> @@ -143,18 +142,8 @@ for ($i=0;$i<count($b);$i++) { </td> </tr> <tr> - <td width="27%" align=right><b>Language</b><i> <?php echo $a["language"]; ?></i>:</td> - <td width="83%"> -<?php - if (isset($c["compilation"]) && $c["compilation"]!="") echo "<b>Compilation Line:</b> ".$c["compilation"]. "<br>"; - if (isset($c["execution"]) && $c["execution"]!="") echo "<b>Execution Line:</b> ".$c["execution"]. "<br>"; - if (isset($c["showoutput"]) && $c["showoutput"]!="") echo "<b>Showing Output Line:</b> ". $c["showoutput"]. "<br>"; - - if (isset($c["scriptname"]) && $c["scriptname"]!="") { - echo "<b>Script for judging:</b> <a href=\"../filedownload.php?". filedownload($c["scriptoid"], $c["scriptname"]) ."\">"; - echo $c["scriptname"] . "</a>"; - } -?> + <td width="27%" align=right><b>Language</b>:</td> + <td width="83%"><i> <?php echo $a["language"]; ?></i> </td> </tr> <tr> |