diff options
Diffstat (limited to 'debian/patches/0005-xmllint-memory-should-fail-on-empty-files.patch')
| -rw-r--r-- | debian/patches/0005-xmllint-memory-should-fail-on-empty-files.patch | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/debian/patches/0005-xmllint-memory-should-fail-on-empty-files.patch b/debian/patches/0005-xmllint-memory-should-fail-on-empty-files.patch deleted file mode 100644 index e1a2197..0000000 --- a/debian/patches/0005-xmllint-memory-should-fail-on-empty-files.patch +++ /dev/null @@ -1,27 +0,0 @@ -From: Daniel Veillard <veillard@redhat.com> -Date: Wed, 8 May 2013 05:45:48 +0000 -Subject: xmllint --memory should fail on empty files - -Exposed by https://bugzilla.gnome.org/show_bug.cgi?id=699896 -when doing analysis but a priori unrelated. ---- - xmllint.c | 5 ++++- - 1 file changed, 4 insertions(+), 1 deletion(-) - -diff --git a/xmllint.c b/xmllint.c -index 26d8db1..c0196ab 100644 ---- a/xmllint.c -+++ b/xmllint.c -@@ -2338,8 +2338,11 @@ static void parseAndPrintFile(char *filename, xmlParserCtxtPtr rectxt) { - if ((fd = open(filename, O_RDONLY)) < 0) - return; - base = mmap(NULL, info.st_size, PROT_READ, MAP_SHARED, fd, 0) ; -- if (base == (void *) MAP_FAILED) -+ if (base == (void *) MAP_FAILED) { -+ fprintf(stderr, "mmap failure for file %s\n", filename); -+ progresult = XMLLINT_ERR_RDFILE; - return; -+ } - - if (rectxt == NULL) - doc = xmlReadMemory((char *) base, info.st_size, |