klarkxy/hustoj
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

query_user_id未生效

Browse Source
This commit is contained in:
klarkxy
2024-10-11 17:48:12 +08:00
parent 51561ccbec
commit a7f8aed637
2 changed files with 3 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
web/problemset.php
View File

@@ -73,7 +73,7 @@ if (isset($_SESSION[$OJ_NAME . '_' . 'user_id'])) {
$user_id = $_GET[$OJ_NAME . '_' . 'query_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 "; $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) { foreach ($result as $row) {
$sub_arr[$row['problem_id']] = true; $sub_arr[$row['problem_id']] = true;
if ($row['result'] == 4) if ($row['result'] == 4)

5
web/template/syzoj/problemset.php
View File

@@ -6,7 +6,7 @@
<div class="row" style="white-space: nowrap; "> <div class="row" style="white-space: nowrap; ">
<div class="seven wide column"> <div class="seven wide column">
<form action="" method="get"> <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%; "> <div class="ui left icon input" style="width: 100%; ">
<input class="prompt" style="width: 100%; " type="text" placeholder=" <?php echo $MSG_TITLE; ?> …" <input class="prompt" style="width: 100%; " type="text" placeholder=" <?php echo $MSG_TITLE; ?> …"
name="search" value="<?php if (isset($_GET['search'])) name="search" value="<?php if (isset($_GET['search']))
@@ -30,11 +30,10 @@
<!-- 管理员用来显示指定用户的对错情况 --> <!-- 管理员用来显示指定用户的对错情况 -->
<?php if (isset($_SESSION[$OJ_NAME . '_' . 'administrator'])): ?> <?php if (isset($_SESSION[$OJ_NAME . '_' . 'administrator'])): ?>
<form action="" method="get"> <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%; "> <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') ?>"> echo htmlentities($_GET['query_user_id'], ENT_QUOTES, 'UTF-8') ?>">
<i class="search icon"></i> <i class="search icon"></i>
</div> </div>
<div class="results" style="width: 100%; "></div> <div class="results" style="width: 100%; "></div>