diff options
| author | Cassio de Campos <cassiopc@gmail.com> | 2017-11-10 23:28:48 +0000 |
|---|---|---|
| committer | Cassio de Campos <cassiopc@gmail.com> | 2017-11-10 23:28:48 +0000 |
| commit | 3cffb81354aac30059bef53406b6dcb96e262782 (patch) | |
| tree | debd1580dcc6d77a55948aba6eaedfb6f1adddf3 /src/judge | |
| parent | 9a11d23c8855dc62a785d30a5f5c36d26115dfb2 (diff) | |
| download | boca-3cffb81354aac30059bef53406b6dcb96e262782.tar.gz boca-3cffb81354aac30059bef53406b6dcb96e262782.zip | |
bf
Diffstat (limited to 'src/judge')
| -rw-r--r-- | src/judge/runchief.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/judge/runchief.php b/src/judge/runchief.php index a4cd443..7238bed 100644 --- a/src/judge/runchief.php +++ b/src/judge/runchief.php @@ -89,7 +89,7 @@ if(isset($_POST)) { for ($i=0; $i<count($run); $i++) { - if($run[$i]["answer1"] != 0 && $run[$i]["answer2"] != 0 && $run[$i]["status"] != "judged") { + 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"; |