aboutsummaryrefslogtreecommitdiffstats
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rw-r--r--tools/dnsregistry.lua2
-rw-r--r--tools/http-status-codes.lua2
2 files changed, 2 insertions, 2 deletions
diff --git a/tools/dnsregistry.lua b/tools/dnsregistry.lua
index 018eadb2..3fd26628 100644
--- a/tools/dnsregistry.lua
+++ b/tools/dnsregistry.lua
@@ -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"))
diff --git a/tools/http-status-codes.lua b/tools/http-status-codes.lua
index 39bee74c..bd5bb52a 100644
--- a/tools/http-status-codes.lua
+++ b/tools/http-status-codes.lua
@@ -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([[