# | Line 1 | Line 1 | |
---|---|---|
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 | < | # CONSTANTS |
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 | function isReportEmpty($filename) { | |
40 | if (filesize($filename) < minFileSize) { | |
41 | return TRUE; | |
# | Line 42 | Line 70 | function getdirArray($dir='./',$sort='asort') { | |
70 | ||
71 | ?> | |
72 | ||
73 | < | <? include("title.inc"); ?> |
73 | > | <? include($titleHTML); ?> |
74 | ||
75 | < | <hr weight="1" color="#9999ff"> |
75 | > | <hr weight="1" color="<? echo $lineColor ?>"> |
76 | ||
77 | <b>Most recent reports available</b> | |
78 | <form method="GET" action="browser.php"> | |
79 | <? | |
80 | ||
81 | < | $file_array = getdirArray('/home/cut/pjm2/webpages/reports','rsort'); |
81 | > | $file_array = getdirArray($reportDirectory,'rsort'); |
82 | print "<select size=\"1\" name=\"day\">"; | |
83 | foreach($file_array as $file_name) { | |
84 | if (is_dir($file_name)) { | |
85 | $i++; | |
86 | print "<option value=\"$file_name\">$file_name</option>"; | |
87 | } | |
88 | < | if ($i >= 20) { |
88 | > | if ($i >= $maxDaysShown) { |
89 | break; | |
90 | } | |
91 | } | |
# | Line 67 | Line 95 | function getdirArray($dir='./',$sort='asort') { | |
95 | <input type="submit" name="submit" value="Go"> | |
96 | </form> | |
97 | ||
98 | < | <hr weight="1" color="#9999ff"> |
98 | > | <hr weight="1" color="<? echo $lineColor ?>"> |
99 | ||
100 | <? if ($day) { ?> | |
101 | ||
# | Line 81 | Line 109 | function getdirArray($dir='./',$sort='asort') { | |
109 | <? } else { ?> | |
110 | <option selected value="">[select machine]</option> | |
111 | <? } ?> | |
112 | < | <? include("$day/machine_name.inc"); ?> |
112 | > | <? include("$day/$machineNameHTML"); ?> |
113 | </select> | |
114 | ||
115 | <select size="1" name="report"> | |
# | Line 91 | Line 119 | function getdirArray($dir='./',$sort='asort') { | |
119 | <? } else { ?> | |
120 | <option selected value="">[select report]</option> | |
121 | <? } ?> | |
122 | < | <? include("$day/report.inc"); ?> |
122 | > | <? include("$day/$reportHTML"); ?> |
123 | </select> | |
124 | ||
125 | <input type="hidden" name="day" value="<? echo $day ?>"> | |
126 | <input type="submit" name="submit" value="Show"> | |
127 | </form> | |
128 | ||
129 | < | <hr weight="1" color="#9999ff"> |
129 | > | <hr weight="1" color="<? echo $lineColor ?>"> |
130 | ||
131 | <? } ?> | |
132 | ||
# | Line 134 | Line 162 | function getdirArray($dir='./',$sort='asort') { | |
162 | </tr> | |
163 | <tr> | |
164 | <td> </td> | |
165 | < | <td><img src="24hour.gif" width="500" height="39"></td> |
165 | > | <td><img src="<? echo $scaleImage ?>" width="500" height="39"></td> |
166 | </tr> | |
167 | </table> | |
168 | ||
169 | < | <hr weigth="1" color="#9999ff"> |
169 | > | <hr weigth="1" color="<? echo $lineColor ?>"> |
170 | ||
171 | <b>Extra data</b> | |
172 | <p> | |
# | Line 150 | Line 178 | function getdirArray($dir='./',$sort='asort') { | |
178 | else { | |
179 | echo "<p>The report could not be found. Somebody must have deleted it!</p>"; | |
180 | } | |
181 | < | echo "<hr weight=\"1\" color=\"#9999ff\">"; |
181 | > | echo "<hr weight=\"1\" color=\"$lineColor\">"; |
182 | } | |
183 | ||
184 | ?> | |
185 | ||
186 | < | <? include("bottom.inc"); ?> |
186 | > | <? include($bottomHTML); ?> |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |