Let Parser_makeFilter return NullStream when an invalid stream is encountered (issue 3417)

This commit is contained in:
Jonas Jenwald 2014-06-15 12:44:39 +02:00
parent 6f79aef03a
commit ab67e1c272

View File

@ -344,6 +344,7 @@ var Parser = (function ParserClosure() {
if (stream.dict.get('Length') === 0) {
return new NullStream(stream);
}
try {
var xrefStreamStats = this.xref.stats.streamTypes;
if (name == 'FlateDecode' || name == 'Fl') {
xrefStreamStats[StreamType.FLATE] = true;
@ -396,6 +397,10 @@ var Parser = (function ParserClosure() {
}
warn('filter "' + name + '" not supported yet');
return stream;
} catch (ex) {
warn('Invalid stream: \"' + ex + '\"');
return new NullStream(stream);
}
}
};