mozilla/pdf.js — pull request #4153 by sriram-dev (2014-01-20 17:02:09+00:00)
Title: 4027 - Terminate worker of previous doc

Attempted fix for issue #4027