Update phpfm.php

zhblue · Sep 30, 2023 · 1abc77a · 1abc77a
1 parent b111720
commit 1abc77a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/trunk/web/admin/phpfm.php b/trunk/web/admin/phpfm.php
@@ -185,7 +185,7 @@ function getCompleteURL() {
             }
     }
 } else {
-    if (isset($pass)) login();
+    if (isset($_SESSION[$OJ_NAME.'_administrator'])||isset($_SESSION[$OJ_NAME.'_problem_editor'])) login();
     else login_form();
 }
 // +--------------------------------------------------