$val) { if ($val) { unbind_ports($db_link, $val); run_sql($db_link, "DELETE FROM connections WHERE device_id=".$val); run_sql($db_link, "DELETE FROM device_l3_interfaces WHERE device_id=".$val); run_sql($db_link, "DELETE FROM device_ports WHERE device_id=".$val); delete_record($db_link, "devices", "id=".$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"; } ?>