From f2ebd9e0c37b461b608fb62ac5b8d14422f830cc Mon Sep 17 00:00:00 2001 From: Bruno Ribas Date: Thu, 5 Nov 2020 15:24:16 -0300 Subject: admin/{claredit,header,run}.php updates from 2018 and 2019 Signed-off-by: Bruno Ribas --- src/admin/run.php | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'src/admin/run.php') diff --git a/src/admin/run.php b/src/admin/run.php index cc0bb46..6de559f 100644 --- a/src/admin/run.php +++ b/src/admin/run.php @@ -88,7 +88,16 @@ if(isset($_POST)) { } $us = DBAllUserNames($_SESSION["usertable"]["contestnumber"]); + +for($judged=0; $judged<2; $judged++) { for ($i=0; $i\n"; @@ -156,6 +165,8 @@ for ($i=0; $i\n"; } +} +} echo ""; if (count($run) == 0) echo "
NO RUNS AVAILABLE
"; -- cgit v1.2.3