241 lines
7.1 KiB
PHP
241 lines
7.1 KiB
PHP
<!DOCTYPE html>
|
|
<html lang="en">
|
|
<head>
|
|
<meta charset="utf-8">
|
|
<meta http-equiv="X-UA-Compatible" content="IE=edge">
|
|
<meta name="viewport" content="width=device-width, initial-scale=1">
|
|
<meta name="description" content="">
|
|
<meta name="author" content="">
|
|
<link rel="icon" href="../../favicon.ico">
|
|
|
|
<title>
|
|
<?php echo $OJ_NAME?>
|
|
</title>
|
|
|
|
<?php include("template/$OJ_TEMPLATE/css.php");?>
|
|
<!-- HTML5 shim and Respond.js for IE8 support of HTML5 elements and media queries -->
|
|
<!--[if lt IE 9]>
|
|
<script src="http://cdn.bootcss.com/html5shiv/3.7.0/html5shiv.js"></script>
|
|
<script src="http://cdn.bootcss.com/respond.js/1.4.2/respond.min.js"></script>
|
|
<![endif]-->
|
|
</head>
|
|
|
|
<body>
|
|
<div class="container">
|
|
<?php include("template/$OJ_TEMPLATE/nav.php");?>
|
|
<!-- Main component for a primary marketing message or call to action -->
|
|
<div class="jumbotron">
|
|
<br><br>
|
|
<div align=center class="input-append">
|
|
<form id=simform class=form-inline action="status.php" method="get">
|
|
<?php echo $MSG_PROBLEM_ID?>
|
|
<input class="form-control" type=text size=4 name=problem_id value='<?php echo htmlspecialchars($problem_id, ENT_QUOTES) ?>'>
|
|
|
|
<?php echo $MSG_USER?>
|
|
<input class="form-control" type=text size=4 name=user_id value='<?php echo htmlspecialchars($user_id, ENT_QUOTES) ?>'>
|
|
<?php if (isset($cid)) echo "<input type='hidden' name='cid' value='$cid'>";?>
|
|
|
|
<?php echo $MSG_LANG?>
|
|
<select class="form-control" size="1" name="language">
|
|
<option value="-1">All</option>
|
|
<?php
|
|
if (isset($_GET['language'])) {
|
|
$selectedLang = intval($_GET['language']);
|
|
}
|
|
else {
|
|
$selectedLang = -1;
|
|
}
|
|
|
|
$lang_count = count($language_ext);
|
|
$langmask = $OJ_LANGMASK;
|
|
$lang = (~((int)$langmask))&((1<<($lang_count))-1);
|
|
for ($i=0; $i<$lang_count; $i++) {
|
|
if ($lang&(1<<$i))
|
|
echo "<option value=$i ".($selectedLang==$i?"selected":"").">".$language_name[$i]."</option>";
|
|
}
|
|
?>
|
|
</select>
|
|
|
|
<?php echo $MSG_RESULT?>
|
|
<select class="form-control" size="1" name="jresult">
|
|
<?php
|
|
if (isset($_GET['jresult']))
|
|
$jresult_get = intval($_GET['jresult']);
|
|
else
|
|
$jresult_get = -1;
|
|
|
|
if ($jresult_get>=12 || $jresult_get<0)
|
|
$jresult_get = -1;
|
|
/*if ($jresult_get!=-1){
|
|
$sql=$sql."AND `result`='".strval($jresult_get)."' ";
|
|
$str2=$str2."&jresult=".strval($jresult_get);
|
|
}*/
|
|
if ($jresult_get==-1)
|
|
echo "<option value='-1' selected>All</option>";
|
|
else
|
|
echo "<option value='-1'>All</option>";
|
|
|
|
for ($j=0; $j<12; $j++) {
|
|
$i = ($j+4)%12;
|
|
if ($i==$jresult_get)
|
|
echo "<option value='".strval($jresult_get)."' selected>".$jresult[$i]."</option>";
|
|
else
|
|
echo "<option value='".strval($i)."'>".$jresult[$i]."</option>";
|
|
}
|
|
?>
|
|
</select>
|
|
|
|
<?php
|
|
if (isset($_SESSION[$OJ_NAME.'_'.'administrator']) || isset($_SESSION[$OJ_NAME.'_'.'source_browser'])) {
|
|
if (isset($_GET['showsim']))
|
|
$showsim = intval($_GET['showsim']);
|
|
else
|
|
$showsim = 0;
|
|
|
|
echo "SIM
|
|
<select id=\"appendedInputButton\" class=\"form-control\" name=showsim onchange=\"document.getElementById('simform').submit();\">
|
|
<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=90 ".($showsim==90?'selected':'').">90</option>
|
|
<option value=100 ".($showsim==100?'selected':'').">100</option>
|
|
</select> ";
|
|
|
|
|
|
}
|
|
echo "<input type=submit class='form-control' value='$MSG_SEARCH'>";
|
|
?>
|
|
<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>
|
|
|
|
</form>
|
|
</div>
|
|
<br>
|
|
|
|
<div id=center>
|
|
<table id=result-tab class="table table-striped content-box-header" align=center width=80%>
|
|
<thead>
|
|
<tr class='toprow'>
|
|
<td class="text-right">
|
|
<?php echo $MSG_RUNID?>
|
|
</td>
|
|
<td class="text-left">
|
|
<?php echo $MSG_USER?>
|
|
</td>
|
|
<td class="text-center">
|
|
<?php echo $MSG_NICK?>
|
|
</td>
|
|
<td class="text-center">
|
|
<?php echo $MSG_PROBLEM_ID?>
|
|
</td>
|
|
<td class="text-center">
|
|
<?php echo $MSG_RESULT?>
|
|
</td>
|
|
<td class="text-right">
|
|
<?php echo $MSG_MEMORY?>
|
|
</td>
|
|
<td class="text-right">
|
|
<?php echo $MSG_TIME?>
|
|
</td>
|
|
<td class="text-right">
|
|
<?php echo $MSG_LANG?>
|
|
</td>
|
|
<td class="text-center">
|
|
<?php echo $MSG_CODE_LENGTH?>
|
|
</td>
|
|
<td class="text-left">
|
|
<?php echo $MSG_SUBMIT_TIME?>
|
|
</td>
|
|
<?php if (isset($_SESSION[$OJ_NAME.'_'.'administrator'])) {
|
|
echo "<td class='text-left'>";
|
|
echo $MSG_JUDGER;
|
|
echo "</td>";
|
|
} ?>
|
|
</tr>
|
|
</thead>
|
|
<tbody>
|
|
<?php
|
|
$cnt = 0;
|
|
foreach ($view_status as $row) {
|
|
if ($cnt)
|
|
echo "<tr class='oddrow'>";
|
|
else
|
|
echo "<tr class='evenrow'>";
|
|
|
|
$i = 0;
|
|
foreach ($row as $table_cell) {
|
|
if ($i==4)
|
|
echo "<td class='td_result'>";
|
|
else if ($i==2 || $i==8)
|
|
echo "<td class='text-center'>";
|
|
else if ($i==0 || $i==5 || $i==6 || $i==7)
|
|
echo "<td class='text-right'>";
|
|
else
|
|
echo "<td>";
|
|
|
|
echo $table_cell;
|
|
echo "</td>";
|
|
$i++;
|
|
}
|
|
|
|
echo "</tr>\n";
|
|
$cnt = 1-$cnt;
|
|
}
|
|
?>
|
|
</tbody>
|
|
</table>
|
|
</div>
|
|
|
|
<div align=center id=center>
|
|
<nav id="page" class="center">
|
|
<small>
|
|
<ul class="pagination">
|
|
<?php
|
|
echo "<li class='page-item'> <a href=status.php?".$str2."><< Top</a></li>";
|
|
if (isset($_GET['prevtop']))
|
|
echo "<li class='page-item'> <a href=status.php?".$str2."&top=".intval($_GET['prevtop']).">< Prev</a></li>";
|
|
else
|
|
echo "<li class='page-item'> <a href=status.php?".$str2."&top=".($top+50).">< Prev</a></li>";
|
|
|
|
echo "<li class='page-item'> <a href=status.php?".$str2."&top=".$bottom."&prevtop=$top>Next ></a></li>";
|
|
?>
|
|
</ul>
|
|
</small>
|
|
</nav>
|
|
</div>
|
|
|
|
</div>
|
|
|
|
</div>
|
|
|
|
<!-- /container -->
|
|
<!-- Bootstrap core JavaScript
|
|
================================================== -->
|
|
<!-- Placed at the end of the document so the pages load faster -->
|
|
<?php include("template/$OJ_TEMPLATE/js.php");?>
|
|
|
|
<script>
|
|
var i = 0;
|
|
var judge_result = [<?php
|
|
foreach ($judge_result as $result) {
|
|
echo "'$result',";
|
|
} ?>
|
|
''];
|
|
|
|
var judge_color = [<?php
|
|
foreach ($judge_color as $result) {
|
|
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"]; ?>";
|
|
</script>
|
|
|
|
<script src="<?php echo $OJ_CDN_URL?>template/<?php echo $OJ_TEMPLATE?>/auto_refresh.js?v=0.41"></script>
|
|
|
|
</body>
|
|
|
|
</html>
|