1 |
|
<?php |
2 |
|
|
3 |
< |
// Navigation for the i-scream reports. |
4 |
< |
// pjm2@ukc.ac.uk |
3 |
> |
# Navigation for the i-scream reports. |
4 |
> |
# pjm2@ukc.ac.uk |
5 |
> |
# |
6 |
> |
# CONFIGURABLE CONSTANTS |
7 |
> |
# |
8 |
|
|
9 |
+ |
# The report directory, and the number of days to display. |
10 |
+ |
$reportDirectory = "/home/cut/pjm2/webpages/reports"; |
11 |
+ |
$maxDaysShown = 7; |
12 |
|
|
13 |
+ |
# Page appearance. |
14 |
+ |
$scaleImage = "24hour.gif"; |
15 |
+ |
$lineColor = "#9999ff"; |
16 |
+ |
|
17 |
+ |
# Files to include |
18 |
+ |
$titleHTML = "title.inc"; |
19 |
+ |
$bottomHTML = "bottom.inc"; |
20 |
+ |
$machineNameHTML = "machine_name.inc"; |
21 |
+ |
$reportHTML = "report.inc"; |
22 |
+ |
|
23 |
+ |
# What are the names of the report files? |
24 |
+ |
$reportLimitsFile = "i-maxmin.txt"; |
25 |
+ |
$reportChartFile = "i-chart.gif"; |
26 |
+ |
$reportChartDataFile = "i-data.txt"; |
27 |
+ |
|
28 |
+ |
# Submission details. |
29 |
+ |
$formMethod = "GET"; |
30 |
+ |
$thisPage = "browser.php"; |
31 |
+ |
|
32 |
+ |
# Leave this alone unless you know what you're doing ;) |
33 |
+ |
$minFileSize = 33; |
34 |
+ |
|
35 |
+ |
# |
36 |
+ |
# END CONFIGURATION |
37 |
+ |
|
38 |
+ |
|
39 |
+ |
|
40 |
+ |
|
41 |
+ |
|
42 |
+ |
# Used to return whether or not a report data file is empty. |
43 |
+ |
function isReportEmpty($filename) { |
44 |
+ |
if (filesize($filename) < minFileSize) { |
45 |
+ |
return TRUE; |
46 |
+ |
} |
47 |
+ |
return FALSE; |
48 |
+ |
} |
49 |
+ |
|
50 |
+ |
|
51 |
+ |
# return an array of subdirectories in the current directory. |
52 |
|
function getdirArray($dir='./',$sort='asort') { |
53 |
|
global $dir_file_count; |
54 |
|
if ( is_dir($dir) ) { |
76 |
|
|
77 |
|
?> |
78 |
|
|
79 |
< |
<? include("title.inc"); ?> |
79 |
> |
<? include($titleHTML); ?> |
80 |
|
|
81 |
< |
<hr weight="1" color="#9999ff"> |
81 |
> |
<hr weight="1" color="<? echo $lineColor ?>"> |
82 |
|
|
83 |
|
<b>Most recent reports available</b> |
84 |
< |
<form method="GET" action="browser.php"> |
84 |
> |
<form method="<? echo $formMethod ?>" action="<? echo $thisPage ?>"> |
85 |
|
<? |
86 |
|
|
87 |
< |
$file_array = getdirArray('/home/cut/pjm2/webpages/reports','rsort'); |
87 |
> |
$file_array = getdirArray($reportDirectory,'rsort'); |
88 |
|
print "<select size=\"1\" name=\"day\">"; |
89 |
|
foreach($file_array as $file_name) { |
90 |
|
if (is_dir($file_name)) { |
91 |
|
$i++; |
92 |
|
print "<option value=\"$file_name\">$file_name</option>"; |
93 |
|
} |
94 |
< |
if ($i >= 20) { |
94 |
> |
if ($i >= $maxDaysShown) { |
95 |
|
break; |
96 |
|
} |
97 |
|
} |
101 |
|
<input type="submit" name="submit" value="Go"> |
102 |
|
</form> |
103 |
|
|
104 |
< |
<hr weight="1" color="#9999ff"> |
104 |
> |
<hr weight="1" color="<? echo $lineColor ?>"> |
105 |
|
|
106 |
|
<? if ($day) { ?> |
107 |
|
|
108 |
|
<b>Available reports for <? echo $day ?></b> |
109 |
|
|
110 |
< |
<form method="GET" action="browser.php"> |
110 |
> |
<form method="<? echo $formMethod ?>" action="<? echo $thisPage ?>"> |
111 |
|
<select size="1" name="machine_name"> |
112 |
|
<? if ($machine_name) { ?> |
113 |
|
<option selected value="<? echo $machine_name ?>"><? echo $machine_name ?></option> |
115 |
|
<? } else { ?> |
116 |
|
<option selected value="">[select machine]</option> |
117 |
|
<? } ?> |
118 |
< |
<? include("$day/machine_name.inc"); ?> |
118 |
> |
<? include("$day/$machineNameHTML"); ?> |
119 |
|
</select> |
120 |
|
|
121 |
|
<select size="1" name="report"> |
125 |
|
<? } else { ?> |
126 |
|
<option selected value="">[select report]</option> |
127 |
|
<? } ?> |
128 |
< |
<? include("$day/report.inc"); ?> |
128 |
> |
<? include("$day/$reportHTML"); ?> |
129 |
|
</select> |
130 |
|
|
131 |
|
<input type="hidden" name="day" value="<? echo $day ?>"> |
132 |
|
<input type="submit" name="submit" value="Show"> |
133 |
|
</form> |
134 |
|
|
135 |
< |
<hr weight="1" color="#9999ff"> |
135 |
> |
<hr weight="1" color="<? echo $lineColor ?>"> |
136 |
|
|
137 |
|
<? } ?> |
138 |
|
|
142 |
|
<? |
143 |
|
if ($submit == "Show" && $machine_name && $report) { |
144 |
|
|
145 |
< |
include("$day/$machine_name/$report/i-maxmin.txt"); |
145 |
> |
include("$day/$machine_name/$report/$reportLimitsFile"); |
146 |
|
|
147 |
< |
$url = escapeshellcmd("$day/$machine_name/$report/i-chart.gif"); |
148 |
< |
if (file_exists($url)) { ?> |
147 |
> |
$url = escapeshellcmd("$day/$machine_name/$report/$reportChartFile"); |
148 |
> |
if (isReportEmpty("$day/$machine_name/$report/$reportChartDataFile")) { |
149 |
> |
echo "Host <b>$machine_name</b> did not send any information about <b>$report</b> on <b>$day</b>. Please select another report."; |
150 |
> |
} |
151 |
> |
else if (file_exists($url)) { ?> |
152 |
|
|
153 |
|
<center><b>[<? echo $machine_name; ?>] - <? echo $report; ?></b></center> |
154 |
|
|
168 |
|
</tr> |
169 |
|
<tr> |
170 |
|
<td> </td> |
171 |
< |
<td><img src="24hour.gif" width="500" height="39"></td> |
171 |
> |
<td><img src="<? echo $scaleImage ?>" width="500" height="39"></td> |
172 |
|
</tr> |
173 |
|
</table> |
174 |
|
|
175 |
< |
<hr weigth="1" color="#9999ff"> |
175 |
> |
<hr weigth="1" color="<? echo $lineColor ?>"> |
176 |
|
|
177 |
|
<b>Extra data</b> |
178 |
|
<p> |
179 |
< |
<a href="<? echo "$day/$machine_name/$report/i-data.txt" ?>">Raw plot data</a><br> |
180 |
< |
<a href="<? echo "$day/$machine_name/$report/i-chart.gif" ?>">GIF chart</a><br> |
181 |
< |
<a href="<? echo "$day/$machine_name/$report/i-maxmin.txt" ?>">PHP y-axis limits include</a> |
179 |
> |
<a href="<? echo "$day/$machine_name/$report/$reportChartDataFile" ?>">Raw plot data</a><br> |
180 |
> |
<a href="<? echo "$day/$machine_name/$report/$reportChartFile" ?>">GIF chart</a><br> |
181 |
> |
<a href="<? echo "$day/$machine_name/$report/$reportLimitsFile" ?>">PHP y-axis limits include</a> |
182 |
|
|
183 |
|
<? } |
184 |
|
else { |
185 |
< |
echo "<p>The report could not be found.</p>"; |
185 |
> |
echo "<p>The report could not be found. Somebody must have deleted it!</p>"; |
186 |
|
} |
187 |
< |
echo "<hr weight=\"1\" color=\"#9999ff\">"; |
187 |
> |
echo "<hr weight=\"1\" color=\"$lineColor\">"; |
188 |
|
} |
189 |
|
|
190 |
|
?> |
191 |
|
|
192 |
< |
<? include("bottom.inc"); ?> |
192 |
> |
<? include($bottomHTML); ?> |