$val) {
if ($val) { delete_device($db_link,$val); }
}
header("Location: " . $_SERVER["REQUEST_URI"]);
exit;
}
print_device_submenu($page_url);
$sort_sql=" ORDER BY device_name";
if (!empty($sort_field) and !empty($order)) { $sort_sql = " ORDER BY $sort_field $order"; }
?>