From 07f150c926d09a6a8c980c5226a5cd3ce43bf1e1 Mon Sep 17 00:00:00 2001
From: klarkxy <278370456@qq.com>
Date: Fri, 11 Oct 2024 17:50:02 +0800
Subject: [PATCH] =?UTF-8?q?=E4=BB=8D=E6=9C=AA=E7=94=9F=E6=95=88?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 web/problemset.php                |  4 ++--
 web/template/syzoj/problemset.php | 10 +++++-----
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/web/problemset.php b/web/problemset.php
index c1abc90..79e5fef 100644
--- a/web/problemset.php
+++ b/web/problemset.php
@@ -69,8 +69,8 @@ $acc_arr = array();
 if (isset($_SESSION[$OJ_NAME . '_' . 'user_id'])) {
 	$user_id = $_SESSION[$OJ_NAME . '_' . 'user_id'];
 	// 管理员可以选择看谁的对错信息
-	if (isset($_SESSION[$OJ_NAME . '_' . 'administrator']) && isset($_GET[$OJ_NAME . '_' . 'query_user_id'])) {
-		$user_id = $_GET[$OJ_NAME . '_' . 'query_user_id'];
+	if (isset($_SESSION[$OJ_NAME . '_' . 'administrator']) && isset($_GET['query_user_id'])) {
+		$user_id = $_GET['query_user_id'];
 	}
 	$sql = "SELECT problem_id, MIN(result) AS result FROM solution WHERE user_id=? and result>=4 GROUP BY problem_id ";
 	$result = pdo_query($sql, $user_id);
diff --git a/web/template/syzoj/problemset.php b/web/template/syzoj/problemset.php
index 2e50c9e..fd0172e 100644
--- a/web/template/syzoj/problemset.php
+++ b/web/template/syzoj/problemset.php
@@ -30,15 +30,15 @@
           <!-- 管理员用来显示指定用户的对错情况 -->
         <?php if (isset($_SESSION[$OJ_NAME . '_' . 'administrator'])): ?>
           <form action="" method="get">
-            <div class="ui search" style="width: 160px; height: 28px; margin-top: -5.3px;">
+            <div class="ui search" style="width: 160px; height: 28px; margin-top: -5.3px; ">
               <div class="ui icon input" style="width: 100%; ">
-                <input class="prompt" style="width: 100%; " type="text" placeholder="用户ID" name="query_user_id" value="<?php if (isset($_GET['query_user_id']))
+              <input class="prompt" style="width: 100%; " type="text" placeholder="用户ID" name="query_user_id" value="<?php if (isset($_GET['query_user_id']))
                   echo htmlentities($_GET['query_user_id'], ENT_QUOTES, 'UTF-8') ?>">
                   <i class="search icon"></i>
-                </div>
-                <div class="results" style="width: 100%; "></div>
               </div>
-            </form>
+              <div class="results" style="width: 100%; "></div>
+            </div>
+          </form>
         <?php endif; ?>
 
       </div>