diff options
| author | Bruno Ribas <brunoribas@gmail.com> | 2020-11-05 18:27:21 +0000 |
|---|---|---|
| committer | Bruno Ribas <brunoribas@gmail.com> | 2020-11-05 18:27:21 +0000 |
| commit | 8f0e78886c5d9acb79efb670510125c217ce2049 (patch) | |
| tree | 12f7a5a4f58f6f9e2a352aa3f3456f5a34d33b00 /src/judge/header.php | |
| parent | f2ebd9e0c37b461b608fb62ac5b8d14422f830cc (diff) | |
| download | boca-8f0e78886c5d9acb79efb670510125c217ce2049.tar.gz boca-8f0e78886c5d9acb79efb670510125c217ce2049.zip | |
judge/{claredit,header,runchief}.php updates from 2019
Signed-off-by: Bruno Ribas <brunoribas@gmail.com>
Diffstat (limited to 'src/judge/header.php')
| -rw-r--r-- | src/judge/header.php | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/src/judge/header.php b/src/judge/header.php index db2136d..ac5c699 100644 --- a/src/judge/header.php +++ b/src/judge/header.php @@ -50,7 +50,11 @@ if($_SESSION["usertable"]["usertype"] != "judge") { if(($s = DBSiteInfo($_SESSION["usertable"]["contestnumber"], $_SESSION["usertable"]["usersitenumber"])) == null) ForceLoad("../index.php"); -if($s["sitechiefname"]== $_SESSION["usertable"]["username"]) +$isboss=false; +if($s["sitechiefname"]== $_SESSION["usertable"]["username"] || strpos($_SESSION["usertable"]["username"],'chief')===true) + $isboss=true; + +if($isboss) $cc = "338833"; else $cc = "77cc77"; @@ -69,7 +73,7 @@ echo "</table>\n"; $clar = DBOpenClarsInSites($_SESSION["usertable"]["contestnumber"], $s["sitejudging"]); $run = DBOpenRunsInSites($_SESSION["usertable"]["contestnumber"], $s["sitejudging"]); -if($s["sitechiefname"]== $_SESSION["usertable"]["username"]) { +if($isboss) { $nrchief = 0; $rrun = DBAllRunsInSites($_SESSION["usertable"]["contestnumber"], $s["sitejudging"]); for ($i=0; $i<count($rrun); $i++) { @@ -82,8 +86,10 @@ $nc=count($clar); echo "<table border=0 width=\"100%\" align=center>\n"; echo " <tr>\n"; +//echo " <td align=center width=\"10%\"><a class=menu style=\"font-weight:bold\" href=problem.php>Problems</a></td>\n"; + echo " <td align=center width=\"10%\"><a class=menu style=\"font-weight:bold\" href=run.php>Runs ($nr)</a></td>\n"; -if($s["sitechiefname"]== $_SESSION["usertable"]["username"]) { +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=score.php>Score</a></td>\n"; |