64 |
|
|
65 |
|
<form method="GET" action="browser.php"> |
66 |
|
<select size="1" name="machine_name"> |
67 |
< |
<option selected value="">[select machine]</option> |
67 |
> |
<? if ($machine_name) { ?> |
68 |
> |
<option selected value="<? echo $machine_name ?>"><? echo $machine_name ?></option> |
69 |
> |
<option value="">----------------</option> |
70 |
> |
<? } else { ?> |
71 |
> |
<option selected value="">[select machine]</option> |
72 |
> |
<? } ?> |
73 |
|
<? include("$day/machine_name.inc"); ?> |
74 |
|
</select> |
75 |
|
|
76 |
|
<select size="1" name="report"> |
77 |
< |
<option selected value="">[select report]</option> |
77 |
> |
<? if ($report) { ?> |
78 |
> |
<option selected value="<? echo $report ?>"><? echo $report ?></option> |
79 |
> |
<option value="">----------------</option> |
80 |
> |
<? } else { ?> |
81 |
> |
<option selected value="">[select report]</option> |
82 |
> |
<? } ?> |
83 |
|
<? include("$day/report.inc"); ?> |
84 |
|
</select> |
85 |
|
|
141 |
|
|
142 |
|
?> |
143 |
|
|
144 |
< |
<? include("bottom.inc"); ?> |
144 |
> |
<? include("bottom.inc"); ?> |