aboutsummaryrefslogtreecommitdiffstats
path: root/util
diff options
context:
space:
mode:
Diffstat (limited to 'util')
-rw-r--r--util/xml.lua5
1 files changed, 4 insertions, 1 deletions
diff --git a/util/xml.lua b/util/xml.lua
index 9322f3ad..2bf1ff4e 100644
--- a/util/xml.lua
+++ b/util/xml.lua
@@ -72,11 +72,14 @@ local parse_xml = (function()
end
end
handler.StartDoctypeDecl = restricted_handler;
- handler.ProcessingInstruction = restricted_handler;
if not options or not options.allow_comments then
-- NOTE: comments are generally harmless and can be useful when parsing configuration files or other data, even user-provided data
handler.Comment = restricted_handler;
end
+ if not options or not options.allow_processing_instructions then
+ -- Processing instructions should generally be safe to just ignore
+ handler.ProcessingInstruction = restricted_handler;
+ end
local parser = lxp.new(handler, ns_separator);
local ok, err, line, col = parser:parse(xml);
if ok then ok, err, line, col = parser:parse(); end