diff --git a/web/problemset.php b/web/problemset.php index 67744dd..9e00d0d 100644 --- a/web/problemset.php +++ b/web/problemset.php @@ -72,7 +72,7 @@ if (isset($_SESSION[$OJ_NAME . '_' . 'user_id'])) { if (isset($_SESSION[$OJ_NAME . '_' . 'administrator']) && isset($_GET['query_user_id'])) { $user_id = $_GET['query_user_id']; } - // TODO 增加筛选题目的时候也要看学生的对错信息 + // 增加筛选题目的时候也要看学生的对错信息 $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); foreach ($result as $row) {