42 |
|
<option value="">----------------</option> |
43 |
|
<? } |
44 |
|
foreach($file_array as $file_name) { |
45 |
< |
if (is_dir($file_name)) { |
45 |
> |
#if (is_dir($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 ?>"> |