diff options
Diffstat (limited to 'tools/dnsregistry.lua')
| -rw-r--r-- | tools/dnsregistry.lua | 2 |
1 files changed, 1 insertions, 1 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")) |