diff tools/dnsregistry.lua @ 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 b35714c57442
children 3306807c0619
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"))