36 |
|
# END CONFIGURATION |
37 |
|
|
38 |
|
|
39 |
+ |
|
40 |
+ |
|
41 |
+ |
|
42 |
+ |
# Used to return whether or not a report data file is empty. |
43 |
|
function isReportEmpty($filename) { |
44 |
|
if (filesize($filename) < minFileSize) { |
45 |
|
return TRUE; |
47 |
|
return FALSE; |
48 |
|
} |
49 |
|
|
50 |
+ |
|
51 |
+ |
# return an array of subdirectories in the current directory. |
52 |
|
function getdirArray($dir='./',$sort='asort') { |
53 |
|
global $dir_file_count; |
54 |
|
if ( is_dir($dir) ) { |
81 |
|
<hr weight="1" color="<? echo $lineColor ?>"> |
82 |
|
|
83 |
|
<b>Most recent reports available</b> |
84 |
< |
<form method="<? echo $formMethod ?>" action="browser.php"> |
84 |
> |
<form method="<? echo $formMethod ?>" action="<? echo $thisPage ?>"> |
85 |
|
<? |
86 |
|
|
87 |
|
$file_array = getdirArray($reportDirectory,'rsort'); |
107 |
|
|
108 |
|
<b>Available reports for <? echo $day ?></b> |
109 |
|
|
110 |
< |
<form method="<? echo $formMethod ?>" action="browser.php"> |
110 |
> |
<form method="<? echo $formMethod ?>" action="<? echo $thisPage ?>"> |
111 |
|
<select size="1" name="machine_name"> |
112 |
|
<? if ($machine_name) { ?> |
113 |
|
<option selected value="<? echo $machine_name ?>"><? echo $machine_name ?></option> |