summaryrefslogtreecommitdiff
path: root/src
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 /src
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.
Diffstat (limited to 'src')
-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;
}