From f814fdc21509984d9fbef3cab46acedfa025747a Mon Sep 17 00:00:00 2001
From: Jonas Jenwald <jonas.jenwald@gmail.com>
Date: Wed, 26 Aug 2015 20:07:32 +0200
Subject: [PATCH] Add a warning when we encounter an empty stream in
 `Parser_makeFilter`

Having a warning here would have meant that issue 6360 could have been solved in approximately five minutes, instead of an hour. To avoid that happening again, this patch adds a warning whenever we treat a stream as empty.
---
 src/core/parser.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/core/parser.js b/src/core/parser.js
index dbc02e33e..a3effaecc 100644
--- a/src/core/parser.js
+++ b/src/core/parser.js
@@ -525,6 +525,7 @@ var Parser = (function ParserClosure() {
     },
     makeFilter: function Parser_makeFilter(stream, name, maybeLength, params) {
       if (stream.dict.get('Length') === 0 && !maybeLength) {
+        warn('Empty "' + name + '" stream.');
         return new NullStream(stream);
       }
       try {