$val) { if (isset($val) and $val != 1) { LOG_INFO($db_link, "Remove connection id: $val"); delete_record($db_link, "connections", "id=" . $val); } } header("Location: " . $_SERVER["REQUEST_URI"]); exit; } unset($_POST); require_once ($_SERVER['DOCUMENT_ROOT']."/inc/header.php"); print_editdevice_submenu($page_url,$id,$device['device_type']); ?>