mozilla/pdf.js — pull request #3720 by biggert (2013-09-21 13:58:28+00:00)
Title: Prevent undefined error when calling .destroy on a document when LocalPdfManager is used

Per assistance with @brendandahl this addresses an undefined error that is shown when the LocalPdfManager is used when getDocument is called and .destroy is later called on that document because LocalPdfManager does not have a streamManager.