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
commit87a44b6cf98f8d325af0f000f10adedcb7a5b95d (patch)
treeee6594c3f52bc8cd4e9500f6a6a5be6d81f7e0f2 /src
parentc4c2958c6b8fbf691a3303fa09f1aa84bb8927d9 (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 7dd06c7bc69..62db7b2e8f3 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;
}