| 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 |
+ |
include("browser_config.inc.php"); |
| 9 |
|
|
| 10 |
< |
function isReportEmpty($filename) { |
| 11 |
< |
if (filesize($filename) < 33) { |
| 10 |
> |
# |
| 11 |
> |
# END CONFIGURATION |
| 12 |
> |
|
| 13 |
> |
|
| 14 |
> |
|
| 15 |
> |
|
| 16 |
> |
|
| 17 |
> |
# Used to return whether or not a report data file is empty. |
| 18 |
> |
function isReportEmpty($filename, $minFileSize) { |
| 19 |
> |
if (filesize($filename) < $minFileSize) { |
| 20 |
|
return TRUE; |
| 21 |
|
} |
| 22 |
|
return FALSE; |
| 23 |
|
} |
| 24 |
|
|
| 14 |
– |
function getdirArray($dir='./',$sort='asort') { |
| 15 |
– |
global $dir_file_count; |
| 16 |
– |
if ( is_dir($dir) ) { |
| 17 |
– |
$fd = @opendir($dir); |
| 18 |
– |
while ( ($part = @readdir($fd)) == TRUE ) { |
| 19 |
– |
clearstatcache(); |
| 20 |
– |
if ($part != "." && $part != "..") { |
| 21 |
– |
$dir_array[] = $part; |
| 22 |
– |
} |
| 23 |
– |
} |
| 24 |
– |
if($fd == TRUE) { |
| 25 |
– |
closedir($fd); |
| 26 |
– |
} |
| 27 |
– |
if (is_array($dir_array)) { |
| 28 |
– |
$sort($dir_array); |
| 29 |
– |
$dir_file_count = count($dir_array); |
| 30 |
– |
Return $dir_array; |
| 31 |
– |
} else { |
| 32 |
– |
Return FALSE; |
| 33 |
– |
} |
| 34 |
– |
} else { |
| 35 |
– |
Return FALSE; |
| 36 |
– |
} |
| 37 |
– |
} |
| 25 |
|
|
| 26 |
+ |
include("iutils.inc.php"); |
| 27 |
+ |
|
| 28 |
|
?> |
| 29 |
|
|
| 30 |
< |
<? include("title.inc"); ?> |
| 30 |
> |
<? include($titleHTML); ?> |
| 31 |
|
|
| 32 |
< |
<hr weight="1" color="#9999ff"> |
| 32 |
> |
<hr weight="1" color="<? echo $lineColor ?>"> |
| 33 |
|
|
| 34 |
|
<b>Most recent reports available</b> |
| 35 |
< |
<form method="GET" action="browser.php"> |
| 35 |
> |
<form method="<? echo $formMethod ?>" action="<? echo $thisPage ?>"> |
| 36 |
|
<? |
| 37 |
|
|
| 38 |
< |
$file_array = getdirArray('/home/cut/pjm2/webpages/reports','rsort'); |
| 38 |
> |
$file_array = getdirArray($reportDirectory,'rsort'); |
| 39 |
|
print "<select size=\"1\" name=\"day\">"; |
| 40 |
+ |
if ($day) { ?> |
| 41 |
+ |
<option selected value="<? echo $day ?>"><? echo $day ?></option> |
| 42 |
+ |
<option value="">----------------</option> |
| 43 |
+ |
<? } |
| 44 |
|
foreach($file_array as $file_name) { |
| 45 |
< |
if (is_dir($file_name)) { |
| 45 |
> |
#if (is_dir($file_name)) { |
| 46 |
> |
if (preg_match("/^[0-9]{4}\-[0-9]{2}\-[0-9]{2}$/", $file_name)) { |
| 47 |
|
$i++; |
| 48 |
|
print "<option value=\"$file_name\">$file_name</option>"; |
| 49 |
|
} |
| 50 |
< |
if ($i >= 20) { |
| 50 |
> |
if ($i >= $maxDaysShown) { |
| 51 |
|
break; |
| 52 |
|
} |
| 53 |
|
} |
| 57 |
|
<input type="submit" name="submit" value="Go"> |
| 58 |
|
</form> |
| 59 |
|
|
| 60 |
< |
<hr weight="1" color="#9999ff"> |
| 60 |
> |
<hr weight="1" color="<? echo $lineColor ?>"> |
| 61 |
|
|
| 62 |
|
<? if ($day) { ?> |
| 63 |
|
|
| 64 |
|
<b>Available reports for <? echo $day ?></b> |
| 65 |
|
|
| 66 |
< |
<form method="GET" action="browser.php"> |
| 66 |
> |
<form method="<? echo $formMethod ?>" action="<? echo $thisPage ?>"> |
| 67 |
|
<select size="1" name="machine_name"> |
| 68 |
|
<? if ($machine_name) { ?> |
| 69 |
|
<option selected value="<? echo $machine_name ?>"><? echo $machine_name ?></option> |
| 71 |
|
<? } else { ?> |
| 72 |
|
<option selected value="">[select machine]</option> |
| 73 |
|
<? } ?> |
| 74 |
< |
<? include("$day/machine_name.inc"); ?> |
| 74 |
> |
<? include("$reportDirectory/$day/$machineNameHTML"); ?> |
| 75 |
|
</select> |
| 76 |
|
|
| 77 |
|
<select size="1" name="report"> |
| 81 |
|
<? } else { ?> |
| 82 |
|
<option selected value="">[select report]</option> |
| 83 |
|
<? } ?> |
| 84 |
< |
<? include("$day/report.inc"); ?> |
| 84 |
> |
<? include("$reportDirectory/$day/$reportHTML"); ?> |
| 85 |
|
</select> |
| 86 |
|
|
| 87 |
|
<input type="hidden" name="day" value="<? echo $day ?>"> |
| 88 |
|
<input type="submit" name="submit" value="Show"> |
| 89 |
|
</form> |
| 90 |
|
|
| 91 |
< |
<hr weight="1" color="#9999ff"> |
| 91 |
> |
<hr weight="1" color="<? echo $lineColor ?>"> |
| 92 |
|
|
| 93 |
|
<? } ?> |
| 94 |
|
|
| 98 |
|
<? |
| 99 |
|
if ($submit == "Show" && $machine_name && $report) { |
| 100 |
|
|
| 101 |
< |
include("$day/$machine_name/$report/i-maxmin.txt"); |
| 101 |
> |
include("$reportDirectory/$day/$machine_name/$report/$reportLimitsFile"); |
| 102 |
|
|
| 103 |
< |
$url = escapeshellcmd("$day/$machine_name/$report/i-chart.gif"); |
| 104 |
< |
if (isReportEmpty("$day/$machine_name/$report/i-data.txt")) { |
| 103 |
> |
$url = "$webRoot/$day/$machine_name/$report/$reportChartFile"; |
| 104 |
> |
if (isReportEmpty("$reportDirectory/$day/$machine_name/$report/$reportChartDataFile", $minFileSize)) { |
| 105 |
|
echo "Host <b>$machine_name</b> did not send any information about <b>$report</b> on <b>$day</b>. Please select another report."; |
| 106 |
|
} |
| 107 |
< |
else if (file_exists($url)) { ?> |
| 107 |
> |
else if (file_exists("$reportDirectory/$day/$machine_name/$report/$reportChartFile")) { ?> |
| 108 |
|
|
| 109 |
|
<center><b>[<? echo $machine_name; ?>] - <? echo $report; ?></b></center> |
| 110 |
|
|
| 124 |
|
</tr> |
| 125 |
|
<tr> |
| 126 |
|
<td> </td> |
| 127 |
< |
<td><img src="24hour.gif" width="500" height="39"></td> |
| 127 |
> |
<td><img src="<? echo $scaleImage ?>" width="500" height="39"></td> |
| 128 |
|
</tr> |
| 129 |
|
</table> |
| 130 |
|
|
| 131 |
< |
<hr weigth="1" color="#9999ff"> |
| 131 |
> |
<hr weigth="1" color="<? echo $lineColor ?>"> |
| 132 |
|
|
| 133 |
|
<b>Extra data</b> |
| 134 |
|
<p> |
| 135 |
< |
<a href="<? echo "$day/$machine_name/$report/i-data.txt" ?>">Raw plot data</a><br> |
| 136 |
< |
<a href="<? echo "$day/$machine_name/$report/i-chart.gif" ?>">GIF chart</a><br> |
| 137 |
< |
<a href="<? echo "$day/$machine_name/$report/i-maxmin.txt" ?>">PHP y-axis limits include</a> |
| 135 |
> |
<a href="<? echo "$webRoot/$day/$machine_name/$report/$reportChartDataFile" ?>">Raw plot data</a><br> |
| 136 |
> |
<a href="<? echo "$webRoot/$day/$machine_name/$report/$reportChartFile" ?>">GIF chart</a><br> |
| 137 |
> |
<a href="<? echo "$webRoot/$day/$machine_name/$report/$reportLimitsFile" ?>">PHP y-axis limits include</a> |
| 138 |
|
|
| 139 |
|
<? } |
| 140 |
|
else { |
| 141 |
< |
echo "<p>The report could not be found.</p>"; |
| 141 |
> |
echo "<p>The report could not be found. Somebody must have deleted it!</p>"; |
| 142 |
|
} |
| 143 |
< |
echo "<hr weight=\"1\" color=\"#9999ff\">"; |
| 143 |
> |
echo "<hr weight=\"1\" color=\"$lineColor\">"; |
| 144 |
|
} |
| 145 |
|
|
| 146 |
|
?> |
| 147 |
|
|
| 148 |
< |
<? include("bottom.inc"); ?> |
| 148 |
> |
<? include($bottomHTML); ?> |