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); }