Ignore dhcp_message_type since it's not actually a DHCP option

git-svn-id: http://svn-archive.gnome.org/svn/NetworkManager/trunk@3904 4912f4e0-d625-0410-9fb7-b9a5a253dbdc

src/dhcp-manager/nm-dhcp-manager.c

@@ -894,7 +894,7 @@ copy_dhcp4_config_option (gpointer key,
 	char *tmp_key = NULL;
 	const char **p;
 	static const char *filter_options[] = {
-		"interface", "pid", "reason", NULL
+		"interface", "pid", "reason", "dhcp_message_type", NULL
 	};
 	
 	/* Filter out stuff that's not actually new DHCP options */