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"> |
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 |
|
|
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"> |
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 |
|
|
136 |
|
<? |
137 |
|
if ($submit == "Show" && $machine_name && $report) { |
138 |
|
|
139 |
< |
include("$day/$machine_name/$report/i-maxmin.txt"); |
139 |
> |
include("$day/$machine_name/$report/$reportLimitsFile"); |
140 |
|
|
141 |
|
$url = escapeshellcmd("$day/$machine_name/$report/i-chart.gif"); |
142 |
|
if (isReportEmpty("$day/$machine_name/$report/i-data.txt")) { |
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> |
173 |
|
<a href="<? echo "$day/$machine_name/$report/i-data.txt" ?>">Raw plot data</a><br> |
174 |
|
<a href="<? echo "$day/$machine_name/$report/i-chart.gif" ?>">GIF chart</a><br> |
175 |
< |
<a href="<? echo "$day/$machine_name/$report/i-maxmin.txt" ?>">PHP y-axis limits include</a> |
175 |
> |
<a href="<? echo "$day/$machine_name/$report/$reportLimitsFile" ?>">PHP y-axis limits include</a> |
176 |
|
|
177 |
|
<? } |
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); ?> |