$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); $user_info = get_record_sql($db_link,"SELECT * FROM User_list WHERE id=".$device['user_id']); require_once ($_SERVER['DOCUMENT_ROOT']."/inc/header.php"); print_device_submenu($page_url); print_editdevice_submenu($page_url,$id,$device['device_type'],$user_info['login']); ?>

".WEB_device_port_connections." ".$device['device_name']." - ".$device['ip']."
\n"; ?> $value) { print "\n"; print "\n"; $port = get_record($db_link,"device_ports","id=".$value['port_id']); print "\n"; print "\n"; print "\n"; print ""; } print "
". $port['port'] . ""; print_auth_detail($db_link, $value['auth_id']); print "
\n"; ?>