From e5aadba7fd1b4357346163fc459f36eb9cea4a5d Mon Sep 17 00:00:00 2001
From: klarkxy <278370456@qq.com>
Date: Sat, 11 Apr 2026 20:57:47 +0800
Subject: [PATCH] =?UTF-8?q?=E2=9C=A8=20feat:=20=E4=BC=98=E5=8C=96=E8=AF=84?=
 =?UTF-8?q?=E6=B5=8B=E7=8A=B6=E6=80=81=E9=A1=B5=E9=9D=A2=E8=A1=A8=E5=8D=95?=
 =?UTF-8?q?=E5=92=8C=E6=A0=B7=E5=BC=8F?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 web/template/syzoj/conteststatus.php | 81 +++++++++++++++-------------
 1 file changed, 44 insertions(+), 37 deletions(-)

diff --git a/web/template/syzoj/conteststatus.php b/web/template/syzoj/conteststatus.php
index f26381d..e08d7cb 100644
--- a/web/template/syzoj/conteststatus.php
+++ b/web/template/syzoj/conteststatus.php
@@ -1,20 +1,25 @@
-<?php $show_title="评测状态 - $OJ_NAME"; ?>
+<?php $show_title="$MSG_STATUS - $OJ_NAME"; ?>
 <?php include("template/$OJ_TEMPLATE/header.php");?>
 <script src="template/<?php echo $OJ_TEMPLATE?>/js/textFit.min.js"></script>
 <div class="padding">
 
-    <h1>Contest<?php echo $view_cid?> - <?php echo $view_title ?></h1>
+  <h1>Contest<?php echo $view_cid?> - <?php echo $view_title ?></h1>
   <!-- <form action="" class="ui mini form" method="get" role="form" id="form"> -->
   <form id=simform class="ui mini form" action="status.php" method="get">
 
     <input type="hidden" name="cid" value="<?php echo $cid; ?>" />
     <div class="inline fields" style="margin-bottom: 25px; white-space: nowrap; ">
-      <label style="font-size: 1.2em; margin-right: 1px; "><?php echo $MSG_PROBLEM ?>：</label>
-      <div class="field"><input name="problem_id" style="width: 100px; " type="text" value="<?php echo  htmlspecialchars($problem_id, ENT_QUOTES) ?>"></div>
-        <label style="font-size: 1.2em; margin-right: 1px; "><?php echo $MSG_USER ?>：</label>
-        <div class="field"><input name="user_id" style="width: 100px; " type="text" value="<?php echo  htmlspecialchars($user_id, ENT_QUOTES) ?>"></div>
+      <label style="font-size: 1.2em; margin-right: 1px; "><?php echo $MSG_PROBLEM_ID?>：</label>
+      <div class="field"><input name="problem_id" style="width: 50px; " type="text" value="<?php echo isset($problem_id)?htmlspecialchars($problem_id, ENT_QUOTES):"" ?>"></div>
+        <label style="font-size: 1.2em; margin-right: 1px; "><?php echo $MSG_USER?>：</label>
+        <div class="field"><input name="user_id" style="width: 50px; " type="text" value="<?php echo isset($user_id)?htmlspecialchars($user_id, ENT_QUOTES):"" ?>"></div>
 
-        <label style="font-size: 1.2em; margin-right: 1px; "><?php echo $MSG_LANG ?>：</label>
+        <label style="font-size: 1.2em; margin-right: 1px; "><?php echo $MSG_SCHOOL?>：</label>
+        <div class="field"><input name="school" style="width: 50px; " type="text" value="<?php echo isset($school)?htmlspecialchars($school, ENT_QUOTES):"" ?>"></div>
+        <label style="font-size: 1.2em; margin-right: 1px; "><?php echo $MSG_GROUP_NAME?>：</label>
+        <div class="field"><input name="group_name" style="width: 50px; " type="text" value="<?php echo isset($group_name)?htmlspecialchars($group_name, ENT_QUOTES):"" ?>"></div>
+
+        <label style="font-size: 1.2em; margin-right: 1px; "><?php echo $MSG_LANG?>：</label>
         <select class="form-control" size="1" name="language" style="width: 110px;font-size: 1em ">
           <option value="-1">All</option>
           <?php
@@ -57,25 +62,26 @@
           echo "
           <select id=\"appendedInputButton\" class=\"form-control\" name=showsim onchange=\"document.getElementById('simform').submit();\" style=\"width: 110px;\">
           <option value=0 ".($showsim==0?'selected':'').">All</option>
-          <option value=50 ".($showsim==50?'selected':'').">50</option>
-          <option value=60 ".($showsim==60?'selected':'').">60</option>
-          <option value=70 ".($showsim==70?'selected':'').">70</option>
           <option value=80 ".($showsim==80?'selected':'').">80</option>
+          <option value=85 ".($showsim==85?'selected':'').">85</option>
           <option value=90 ".($showsim==90?'selected':'').">90</option>
+          <option value=95 ".($showsim==95?'selected':'').">95</option>
           <option value=100 ".($showsim==100?'selected':'').">100</option>
           </select>";
           }
           ?>
-      <button class="ui labeled icon mini button" type="submit" style="margin-left: 20px;">
+      <button class="ui labeled icon mini green button" type="submit" style="margin-left: 20px;">
         <i class="search icon"></i>
-        <?php echo $MSG_SEARCH ?>
+       <?php echo $MSG_SEARCH;?>
       </button>
+                <span class='ui mini grey button'>AWT:<?php echo round($avg_delay,2)?>s </span>
+                 <script>var AWT=<?php echo round($avg_delay*500,0) ?>;</script>
     </div>
   </form>
 
 
-  <table id="result-tab" class="very basic center aligned table" style="white-space: nowrap; " id="table">
-     <thead>
+  <table id="result-tab" class="ui very basic center aligned table" style="white-space: nowrap; " id="table">
+    <thead>
       <tr>
         <th class='desktop-only item'><?php echo $MSG_RUNID?></th>
         <th><?php echo $MSG_USER?></th>
@@ -87,11 +93,11 @@
         <th ><?php echo $MSG_LANG?></th>
         <th  class='desktop-only item'><?php echo $MSG_CODE_LENGTH?></th>
         <th ><?php echo $MSG_SUBMIT_TIME?></th>
-       <?php    if (isset($_SESSION[$OJ_NAME.'_'.'administrator'])) {
+             <?php    if (isset($_SESSION[$OJ_NAME.'_'.'administrator'])) {
                                                         echo "<th class='desktop-only item'>";
                                                                 echo $MSG_JUDGER;
                                                         echo "</th>";
-                    echo "<th class='desktop-only item'>操作</th>";
+                echo "<th class='desktop-only item'>操作</th>";
                                                 } ?>
       </tr>
     </thead>
@@ -100,42 +106,43 @@
           </tr> -->
     <?php
     foreach($view_status as $row){
-        $i=0;
-        echo "<tr>";
-        foreach($row as $table_cell){
-              if ($i==4)
-                echo "<td class='td_result'>";
-              else if($i==0 || $i>7 && $i!=9)
-                echo "<td class='desktop-only item '>";
-              else
-                echo "<td>";
-              echo $table_cell;
-              echo "</td>";
-              $i++;
-        }
-        echo "</tr>\n";
+    $i=0;
+    echo "<tr>";
+    foreach($row as $table_cell){
+      if ($i==4)
+        echo "<td class='td_result'>";
+      else if($i==0 || $i>7 && $i!=9)
+        echo "<td class='desktop-only item '>";
+      else
+        echo "<td>";
+      echo $table_cell;
+      echo "</td>";
+      $i++;
+    }
+    echo "</tr>\n";
     }
     ?>
 
     </tbody>
   </table>
+
   <div style="margin-bottom: 30px; ">
 
   <div style="text-align: center; ">
         <div class="ui pagination menu" style="box-shadow: none; ">
           <a class="icon item" href="<?php echo "status.php?".$str2;?>" id="page_prev">
-    <?php echo $MSG_HOME?>
+    Top
           </a>
           <?php
       if (isset($_GET['prevtop']))
-      echo "<a class=\"item\" href=\"status.php?".$str2."&top=".intval($_GET['prevtop'])."\">上一页</a>";
+      echo "<a class=\"item\" href=\"status.php?".$str2."&top=".intval($_GET['prevtop'])."\">Prev</a>";
       else
-      echo "<a class=\"item\" href=\"status.php?".$str2."&top=".($top+20)."\">上一页</a>";
+      echo "<a class=\"item\" href=\"status.php?".$str2."&top=".($top+20)."\">Prev</a>";
 
       ?>
 
           <a class="icon item" href="<?php echo "status.php?".$str2."&top=".$bottom."&prevtop=$top"; ?>" id="page_next">
-            下一页
+            Next
           </a>
         </div>
   </div>
@@ -154,10 +161,10 @@
                 echo "'$result',";
         } ?>
         ''];
-        var oj_mark= <?php echo "'$OJ_MARK'";?>;
-        var user_id="<?php if (isset($_SESSION[$OJ_NAME."_user_id"])&& $OJ_FANCY_RESULT ) echo $_SESSION[$OJ_NAME."_user_id"]; ?>";
+         var oj_mark='<?php echo $OJ_MARK ?>'; 
+         var user_id="<?php if (isset($_SESSION[$OJ_NAME."_user_id"]) && $OJ_FANCY_RESULT ) echo $_SESSION[$OJ_NAME."_user_id"]; ?>";
         var fancy_mp3="<?php if (isset($_SESSION[$OJ_NAME."_user_id"]) && $OJ_FANCY_RESULT ) echo $OJ_FANCY_MP3; ?>";
 </script>
-        <script src="template/<?php echo $OJ_TEMPLATE?>/auto_refresh.js?v=0.52" ></script>
+        <script src="template/<?php echo $OJ_TEMPLATE?>/auto_refresh.js?v=0.522" ></script>
 
 <?php include("template/$OJ_TEMPLATE/footer.php");?>