From bafbba0dcdc0079036c981c45336fd47feb166b0 Mon Sep 17 00:00:00 2001 From: klarkxy <278370456@qq.com> Date: Fri, 11 Oct 2024 17:55:37 +0800 Subject: [PATCH] =?UTF-8?q?=E8=B0=83=E8=AF=95?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- web/problemset.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/web/problemset.php b/web/problemset.php index 6af8251..a88c96d 100644 --- a/web/problemset.php +++ b/web/problemset.php @@ -68,11 +68,11 @@ $sub_arr = array(); $acc_arr = array(); if (isset($_SESSION[$OJ_NAME . '_' . 'user_id'])) { $user_id = $_SESSION[$OJ_NAME . '_' . 'user_id']; - echo "