Mirror List';
echo '
Use this form to get a list of all mirrors serving up active files
for the selected Product/OS.
';
form_start('list','list','get','./index-list.php');
echo '';
form_label('Product', 'product','label-small');
form_select('product_id','product','',Mirror::get_products_select(),$_GET['product_id']);
echo ' [
edit products]';
echo '
';
echo '';
form_label('OS', 'os','label-small');
form_select('os_id','os','',Mirror::get_oss_select(),$_GET['os_id']);
echo ' [
edit operating systems]';
echo '
';
form_submit('submit','','button1','Update');
form_end();
require_once(FOOTER);
}
} catch (Exception $ex) {
header("Status: 500", true, 500);
echo "An unexpected error has occurred.";
trigger_error($ex->getMessage() . ' ' . $ex->getTraceAsString(), E_USER_WARNING);
}