| 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"); ?> |