diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/dnsregistry.lua | 2 | ||||
| -rw-r--r-- | tools/http-status-codes.lua | 2 |
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([[ |