'Status',
'mirror_name'=>'Host Name',
'mirror_baseurl'=>'Address',
'location_path'=>'Path'
);
// should we export to csv?
if (!empty($_GET['csv'])) {
$csv = array();
$csv[] = $headers;
foreach ($stats as $row) {
$csv[] = $row;
}
csv_send_csv($csv);
exit;
}
$title = 'Location Statistics';
$nav = INC.'/admin_nav.php';
require_once(HEADER);
echo 'Location Statistics
';
echo 'This shows whether or not a server is serving up a certain file.
';
show_list($stats,$headers,'simple');
echo 'Save this page as CSV »
';
require_once(FOOTER);
?>