From 3bf24bbbb9a15eed6e4a90aa58a5b6c9a96d105c Mon Sep 17 00:00:00 2001 From: Baoshuo Date: Fri, 23 Sep 2022 08:03:55 +0800 Subject: [PATCH] fix: d3e99b0217dacbbea4e67b51874453d218001985 --- web/app/controllers/assignment.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/web/app/controllers/assignment.php b/web/app/controllers/assignment.php index 79df8d1..0e4e71e 100644 --- a/web/app/controllers/assignment.php +++ b/web/app/controllers/assignment.php @@ -74,9 +74,9 @@ echo '' . getUserLink($username) . ''; foreach ($problem_ids as $problem_id) { if (!isset($finished[$username]) || !isset($finished[$username][$problem_id])) { - echo ''; + echo ''; } else { - echo ''; + echo ''; } } echo '';