From 7807752ca46032bc58e20e134872a80bb41c2520 Mon Sep 17 00:00:00 2001 From: Baoshuo Date: Sun, 16 Oct 2022 10:18:49 +0800 Subject: [PATCH] fix(web/problem/solution): problem manager can add solution --- web/app/libs/uoj-query-lib.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/web/app/libs/uoj-query-lib.php b/web/app/libs/uoj-query-lib.php index 75988d9..279e3ad 100644 --- a/web/app/libs/uoj-query-lib.php +++ b/web/app/libs/uoj-query-lib.php @@ -26,7 +26,7 @@ function hasViewPermission($str, $user, $problem, $submission) { } function hasViewSolutionPermission($str, $user, $problem) { - if (isSuperUser($user)) { + if (isSuperUser($user) || isProblemManager($user)) { return true; } if ($str == 'ALL') {