Changeset

12271:f31bb79f51d7

tools: Allow processing instructions in some XML parsing tools IANA registry files have XSLT references, which are harmless to ignore.
author Kim Alvefur <zash@zash.se>
date Fri, 04 Feb 2022 21:20:48 +0100
parents 12270:c78639ee6ccb
children 12272:fe0f5c47fda3
files tools/dnsregistry.lua tools/http-status-codes.lua
diffstat 2 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/tools/dnsregistry.lua	Fri Feb 04 20:47:39 2022 +0100
+++ b/tools/dnsregistry.lua	Fri Feb 04 21:20:48 2022 +0100
@@ -1,6 +1,6 @@
 -- Generate util/dnsregistry.lua from IANA HTTP status code registry
 local xml = require "util.xml";
-local registries = xml.parse(io.read("*a"));
+local registries = xml.parse(io.read("*a"), { allow_processing_instructions = true });
 
 print("-- Source: https://www.iana.org/assignments/dns-parameters/dns-parameters.xml");
 print(os.date("-- Generated on %Y-%m-%d"))
--- a/tools/http-status-codes.lua	Fri Feb 04 20:47:39 2022 +0100
+++ b/tools/http-status-codes.lua	Fri Feb 04 21:20:48 2022 +0100
@@ -1,7 +1,7 @@
 -- Generate net/http/codes.lua from IANA HTTP status code registry
 
 local xml = require "util.xml";
-local registry = xml.parse(io.read("*a"));
+local registry = xml.parse(io.read("*a"), { allow_processing_instructions = true });
 
 io.write([[