-
Notifications
You must be signed in to change notification settings - Fork 0
/
users.php
92 lines (85 loc) · 2.55 KB
/
users.php
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
<? include("_config.php");
include("head.php"); ?>
<!-- Îòîáðàæåíèå ñïèñêà ó÷àñòíèêîâ -->
<center>
<table>
<tr><td class=header bgColor="#C7AF97">
<b>Ðåéòèíã ó÷àñòíèêîâ
<? if ($is_admin) echo("Ðåæèì àäìèíèñòðàòîðà"); ?>
</b>
<td></tr>
<tr><td class=poles1 bgColor="#E7CFB7">
<center>
<table class=inside border=1>
<tr>
<td bgcolor="#D7BF97"><center><b><i>¹
<? if ($is_admin) { ?>
<td bgcolor="#D7BF97"><center><b>Judge_ID
<? }; ?>
<td bgcolor="#D7BF97"><center><b>Ïîëíîå èìÿ
<td bgcolor="#D7BF97"><center><b>Íèê
<!--<td><center><b>E-mail -->
<td bgcolor="#D7BF97"><center><b>Ïîñûëîê
<td bgcolor="#D7BF97"><center><b>Ñ÷åò
<td bgcolor="#D7BF97"><center><b>Ðåøåííûå çàäà÷è
<?
// Çàïîëíÿåì ìàñèâ $q
unset($q);
unset($try);
$s = file($password."submits.txt");
for($i=0;$i<count($s);$i++){
$s[$i] = trim($s[$i]);
$r = explode(" ",$s[$i]);
$try[$r[0]]++;
if(strcmp($r[3],"AC")==0){
// echo("---- ".$r[0].$r[1].$r[2]."<br>");
$q[$r[0].$r[1].$r[2]] = 1;
};
};
// Çàïîëíÿåì ñïèñîê çàäà÷
unset($tasks);
$tasksQ = file("tasks.txt");
for($i=0;$i<count($tasksQ);$i++){
$r = explode(" ",$tasksQ[$i]);
$tasks[$i] = $r[0];
};
// Çàãðóæàåì ñïèñîê ó÷àñòíèêîâ èç ôàéëà tasks.txt
unset($show);
// Ãîíèì öèêë ïî êîëè÷åñòâó ó÷àñòíèêîâ
for($i=0;$i<(count($users)/4);$i++){
$k = "";
if ($is_admin) $k .= "<a href=list.php?judge_id=".$users[$i*4].">".$users[$i*4]."</a><td>";
if (!isset($try[$users[$i*4]])) $try[$users[$i*4]] = 0;
// Calc sum
$sum = 0;
$lst = "";
for($j=0;$j<count($tasks);$j++){
$cur_sum = 0;
if(isset($q[$users[$i*4].$tasks[$j]."01"])) $cur_sum += 1;
if(isset($q[$users[$i*4].$tasks[$j]."02"])) $cur_sum += 3;
if($cur_sum>0)
$lst = $lst."<a href=tasks.php?tid=".$tasks[$j]." target=_blank>".
$tasks[$j]."</a>"."-".$cur_sum." ";
$sum += $cur_sum;
};
$k = $k."<center><a href=\"mailto:".$users[$i*4+3]."\">".$users[$i*4+1].
"<td><center><b>".$users[$i*4+2]."<td>"."<center><b>".$try[$users[$i*4]].
"<td><center><b>".$sum;
$solved[$k] = $lst;
$show[$k] = $sum + 1/($try[$users[$i*4]]+2);
};
// Ñîðòèðîâêà è îòîáðàæåíèå
arsort($show);
$i = 1;
for(reset($show); $key = key($show); next($show)) {
echo("<tr><td><center><b>".$i."<td><center>".$key);
echo("<td><font size=-1>".$solved[$key]." ");
$i++;
echo("</td></tr>");
}
?>
</table>
</table>
<?
echo("<center>Server time: ".date( "l d.m.Y H:i:s" ));
?>