| 43 |
|
<? } |
| 44 |
|
foreach($file_array as $file_name) { |
| 45 |
|
#if (is_dir($file_name)) { |
| 46 |
< |
if (!preg_match("/^[0-9]{4}\-[0-9]{2}\-[0-9]{2}$/", $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 |
|
} |
| 71 |
|
<? } else { ?> |
| 72 |
|
<option selected value="">[select machine]</option> |
| 73 |
|
<? } ?> |
| 74 |
< |
<? include("$day/$machineNameHTML"); ?> |
| 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/$reportHTML"); ?> |
| 84 |
> |
<? include("$reportDirectory/$day/$reportHTML"); ?> |
| 85 |
|
</select> |
| 86 |
|
|
| 87 |
|
<input type="hidden" name="day" value="<? echo $day ?>"> |