| 39 |
|
|
| 40 |
|
|
| 41 |
|
function showStat($title, $value, $input) { |
| 42 |
< |
preg_match("/$value=([^\,]*)\,/", $input, $matches); |
| 42 |
> |
preg_match("/$value=([^\,]*)[\,|\}]/", $input, $matches); |
| 43 |
|
$value = $matches[1]; |
| 44 |
|
if (empty($value)) { |
| 45 |
|
$value = "<i>unknown</i>"; |
| 109 |
|
<option value="">----------------</option> |
| 110 |
|
<? } |
| 111 |
|
foreach($file_array as $file_name) { |
| 112 |
< |
if (is_dir($file_name)) { |
| 113 |
< |
$i++; |
| 112 |
> |
#if (is_dir($file_name)) { |
| 113 |
|
print "<option value=\"$file_name\">$file_name</option>"; |
| 114 |
< |
} |
| 114 |
> |
#} |
| 115 |
|
} |
| 116 |
|
print "</select>"; |
| 117 |
|
|
| 125 |
|
|
| 126 |
|
# Read the file. |
| 127 |
|
#$input = "packet.attributes.machine_name=raptor.ukc.ac.uk,packet.memory.free=10,packet.memory.total=100,"; |
| 128 |
< |
$input = file("$latestDirectory/$machine/latest_data"); |
| 128 |
> |
$input = file("$latestDirectory/$machine/$latestData"); |
| 129 |
|
# All we need is the first line if there is more than one line. |
| 130 |
|
$input = $input[0]; |
| 131 |
|
|
