$val) { if (isset($val)) { LOG_INFO($db_link, "Remove filter instances from gateway id: $val ". dump_record($db_link,'device_filter_instances','id='.$val)); delete_record($db_link, "device_filter_instances", "id=" . $val); } } header("Location: " . $_SERVER["REQUEST_URI"]); exit; } if (isset($_POST["s_create"])) { if (!empty($_POST["new_instance"])) { $new['instance_id'] = trim($_POST["new_instance"]); $new['device_id'] = $id; LOG_INFO($db_link, "Add instance id: ".$new['instance_id']." for gateway id: ".$id); insert_record($db_link, "device_filter_instances", $new); } header("Location: " . $_SERVER["REQUEST_URI"]); exit; } unset($_POST); 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']); ?>

"; ?> "; print_url($device['device_name'],"/admin/devices/editdevice.php?id=$id"); ?>

\n"; print "\n"; print "\n"; print "\n"; print "\n"; } ?>

	id
	{$row['id']}	"; print get_filter_instance_description($db_link,$row['instance_id']); print "