blob: 505cf2255bc74d11620662022e58631aa797dbd0 (
plain)
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
|
<?php
include "lib/mysql.php";
if (isset($_GET["from"]))
$min_time = $_GET["from"];
else
$min_time = "00:42:00";
$result = mysql_run_query(
"SELECT `ssh_log`.`date`," .
"`build_slaves`.`name`," .
"`ssh_log`.`action`," .
"`ssh_log`.`parameters`" .
" FROM `ssh_log`" .
" JOIN `build_slaves` ON `ssh_log`.`build_slave`=`build_slaves`.`id`" .
" WHERE TIMEDIFF((" .
// NOW() is wrong here - due to differing time zones O.o
"SELECT MAX(`l`.`date`) FROM `ssh_log` AS `l`" .
"),`ssh_log`.`date`) < from_base64(\"" . base64_encode( $min_time ) . "\")" .
" ORDER BY `ssh_log`.`date` DESC"
);
?>
<html>
<head>
<title>ssh-log</title>
<link rel="stylesheet" type="text/css" href="/static/style.css">
</head>
<body>
<table>
<tr>
<th>
date
</th>
<th>
build slave
</th>
<th>
action
</th>
<th>
parameters
</th>
</tr>
<?php
while ($row = $result -> fetch_assoc()) {
print " <tr>\n";
foreach ($row as $val) {
print " <td>\n";
print " " . $val . "\n";
print " </td>\n";
}
print " </tr>\n";
}
?>
</table>
</body>
</html>
|
