| 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 | < | # CONSTANTS | 
 
 
 
 
 
 
 
 
 | 8 | > | include("browser_config.inc.php"); | 
 
 
 
 
 
 
 
 
 
 
 | 9 |  |  | 
 
 
 
 
 
 
 
 
 
 
 | 10 | < | $minFileSize = 33; | 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 | 10 | > | # | 
 
 
 
 
 | 11 | > | # END CONFIGURATION | 
 
 
 
 
 
 
 
 
 
 
 | 12 |  |  | 
 
 
 
 
 
 
 
 
 
 
 
 
 | 13 |  |  | 
 
 
 
 
 
 
 
 
 
 
 | 14 | < | function isReportEmpty($filename) { | 
 
 
 
 
 
 
 
 
 
 
 
 
 | 15 | < | if (filesize($filename) < minFileSize) { | 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 | 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 |  |  | 
 
 
 
 
 
 
 
 
 | 18 | – | function getdirArray($dir='./',$sort='asort') { | 
 
 
 
 
 
 
 
 
 | 19 | – | global $dir_file_count; | 
 
 
 
 
 
 
 
 
 | 20 | – | if ( is_dir($dir) ) { | 
 
 
 
 
 
 
 
 
 | 21 | – | $fd = @opendir($dir); | 
 
 
 
 
 
 
 
 
 | 22 | – | while ( ($part = @readdir($fd)) == TRUE ) { | 
 
 
 
 
 
 
 
 
 | 23 | – | clearstatcache(); | 
 
 
 
 
 
 
 
 
 | 24 | – | if ($part != "." && $part != "..") { | 
 
 
 
 
 
 
 
 
 | 25 | – | $dir_array[] = $part; | 
 
 
 
 
 
 
 
 
 | 26 | – | } | 
 
 
 
 
 
 
 
 
 | 27 | – | } | 
 
 
 
 
 
 
 
 
 | 28 | – | if($fd == TRUE) { | 
 
 
 
 
 
 
 
 
 | 29 | – | closedir($fd); | 
 
 
 
 
 
 
 
 
 | 30 | – | } | 
 
 
 
 
 
 
 
 
 | 31 | – | if (is_array($dir_array)) { | 
 
 
 
 
 
 
 
 
 | 32 | – | $sort($dir_array); | 
 
 
 
 
 
 
 
 
 | 33 | – | $dir_file_count = count($dir_array); | 
 
 
 
 
 
 
 
 
 | 34 | – | Return $dir_array; | 
 
 
 
 
 
 
 
 
 | 35 | – | } else { | 
 
 
 
 
 
 
 
 
 | 36 | – | Return FALSE; | 
 
 
 
 
 
 
 
 
 | 37 | – | } | 
 
 
 
 
 
 
 
 
 | 38 | – | } else { | 
 
 
 
 
 
 
 
 
 | 39 | – | Return FALSE; | 
 
 
 
 
 
 
 
 
 | 40 | – | } | 
 
 
 
 
 
 
 
 
 | 41 | – | } | 
 
 
 
 
 
 
 
 
 
 
 
 
 | 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 = escapeshellcmd("$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)) {  ?> | 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 | 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 "$day/$machine_name/$report/$reportChartDataFile" ?>">Raw plot data</a><br> | 
 
 
 
 
 | 136 | > | <a href="<? echo "$day/$machine_name/$report/$reportChartFile" ?>">GIF chart</a><br> | 
 
 
 
 
 | 137 | > | <a href="<? echo "$day/$machine_name/$report/$reportLimitsFile" ?>">PHP y-axis limits include</a> | 
 
 
 
 
 
 
 
 
 
 
 | 138 |  |  | 
 
 
 
 
 
 
 
 
 
 
 
 
 | 139 |  | <? } | 
 
 
 
 
 
 
 
 
 
 
 
 
 | 140 |  | else { | 
 
 
 
 
 
 
 
 
 
 
 
 
 | 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); ?> |