summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTom Lane <tgl@sss.pgh.pa.us>2019-03-23 17:40:19 -0400
committerTom Lane <tgl@sss.pgh.pa.us>2019-03-23 17:40:19 -0400
commit432356a9def4e03cb96babd396e17bbf5a59b2b1 (patch)
tree305fe20f0240eccb6e9d85473ae2532b7ee81964
parentd5e9e2330e3a4d06b6686586fde6ea332c95be61 (diff)
Remove inadequate check for duplicate "xml" PI.
I failed to think about PIs starting with "xml". We don't really need this check at all, so just take it out. Oversight in commit 8d1dadb25 et al.
-rw-r--r--src/backend/utils/adt/xml.c4
1 files changed, 0 insertions, 4 deletions
diff --git a/src/backend/utils/adt/xml.c b/src/backend/utils/adt/xml.c
index 931f4c3e8fd..c215be348ad 100644
--- a/src/backend/utils/adt/xml.c
+++ b/src/backend/utils/adt/xml.c
@@ -1400,10 +1400,6 @@ xml_doctype_in_content(const xmlChar *str)
if (!e)
return false;
- /* we don't check PIs carefully, but do reject "xml" target */
- if (e - p >= 3 && xmlStrncasecmp(p, (xmlChar *) "xml", 3) == 0)
- return false;
-
/* advance over PI, keep scanning */
p = e + 2;
}