From a7f8aed63710b93f40d24b719412b0d7694a85a9 Mon Sep 17 00:00:00 2001
From: klarkxy <278370456@qq.com>
Date: Fri, 11 Oct 2024 17:48:12 +0800
Subject: [PATCH] =?UTF-8?q?query=5Fuser=5Fid=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                | 2 +-
 web/template/syzoj/problemset.php | 5 ++---
 2 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/web/problemset.php b/web/problemset.php
index 09b100e..c1abc90 100644
--- a/web/problemset.php
+++ b/web/problemset.php
@@ -73,7 +73,7 @@ if (isset($_SESSION[$OJ_NAME . '_' . 'user_id'])) {
 		$user_id = $_GET[$OJ_NAME . '_' . '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, $_SESSION[$OJ_NAME . '_' . 'user_id']);
+	$result = pdo_query($sql, $user_id);
 	foreach ($result as $row) {
 		$sub_arr[$row['problem_id']] = true;
 		if ($row['result'] == 4)
diff --git a/web/template/syzoj/problemset.php b/web/template/syzoj/problemset.php
index 90df204..2e50c9e 100644
--- a/web/template/syzoj/problemset.php
+++ b/web/template/syzoj/problemset.php
@@ -6,7 +6,7 @@
     <div class="row" style="white-space: nowrap; ">
       <div class="seven wide column">
         <form action="" method="get">
-          <div class="ui search" style="width: 280px; height: 28px; margin-top: -5.3px;float:left ">
+          <div class="ui search" style="width: 160px; height: 28px; margin-top: -5.3px;float:left ">
             <div class="ui left icon input" style="width: 100%; ">
               <input class="prompt" style="width: 100%; " type="text" placeholder=" <?php echo $MSG_TITLE; ?> …"
                 name="search" value="<?php if (isset($_GET['search']))
@@ -30,11 +30,10 @@
           <!-- 管理员用来显示指定用户的对错情况 -->
         <?php if (isset($_SESSION[$OJ_NAME . '_' . 'administrator'])): ?>
           <form action="" method="get">
-            <div class="ui search" style="width: 280px; 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']))
                   echo htmlentities($_GET['query_user_id'], ENT_QUOTES, 'UTF-8') ?>">
-
                   <i class="search icon"></i>
                 </div>
                 <div class="results" style="width: 100%; "></div>