diff options
| author | Bruno Cesar Ribas <bcribas@users.noreply.github.com> | 2025-09-22 17:40:45 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-09-22 17:40:45 +0000 |
| commit | ba85f4115b91460092f5b2137cb5382bd3024936 (patch) | |
| tree | 2afee43b3255f4eadb0419a522af4da5ac60846b /src/judge/header.php | |
| parent | 5d043bdbc2879370254e0ef385fd288a0a6597a3 (diff) | |
| parent | 4fbfe476f66cb81b56092312ba1238dffb375c92 (diff) | |
| download | boca-ba85f4115b91460092f5b2137cb5382bd3024936.tar.gz boca-ba85f4115b91460092f5b2137cb5382bd3024936.zip | |
Merge pull request #36 from rlaiola/fix_username_header
Fix username in header (all user types)
Diffstat (limited to 'src/judge/header.php')
| -rw-r--r-- | src/judge/header.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/judge/header.php b/src/judge/header.php index 2874366..21f871d 100644 --- a/src/judge/header.php +++ b/src/judge/header.php @@ -66,7 +66,7 @@ echo "<tr><td nowrap bgcolor=\"#$cc\" align=center>"; echo "<img src=\"../images/smallballoontransp.png\" alt=\"\">"; echo "<font color=\"#000000\">BOCA</font>"; echo "</td><td bgcolor=\"#$cc\" width=\"99%\">\n"; -echo "Username: " . $_SESSION["usertable"]["userfullname"] . " (site=".$_SESSION["usertable"]["usersitenumber"].")<br>\n"; +echo "Username: " . $_SESSION["usertable"]["username"] . " (site=".$_SESSION["usertable"]["usersitenumber"].")<br>\n"; list($clockstr,$clocktype)=siteclock(); echo "</td><td bgcolor=\"#$cc\" align=center nowrap> ".$clockstr." </td></tr>\n"; echo "</table>\n"; |