From 8f0e78886c5d9acb79efb670510125c217ce2049 Mon Sep 17 00:00:00 2001 From: Bruno Ribas Date: Thu, 5 Nov 2020 15:27:21 -0300 Subject: judge/{claredit,header,runchief}.php updates from 2019 Signed-off-by: Bruno Ribas --- src/judge/header.php | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) (limited to 'src/judge/header.php') 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 "\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\n"; echo " \n"; +//echo " Problems\n"; + echo " Runs ($nr)\n"; -if($s["sitechiefname"]== $_SESSION["usertable"]["username"]) { +if($isboss) { echo " Chief ($nrchief)\n"; } echo " Score\n"; -- cgit v1.2.3