$new_instance, '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 "