Switching between multiple PDFs causes crash

[courdek]

When loading and switching between multiple PDFs, the browser tab will crash after n times. This can be reproduced on the documentation page by clicking "Next PDF" approximately 30 times (I imagine this will vary depending on the computer).

Inspecting the memory usage shows a new Javascript VM instance being created every time the PDF is changed. Essentially it acts like a memory leak. Eventually it overwhelms the tab and crashes.

Additional context

[GuoyiCoding]

I used PDFDocumentProxy.destory() to destroy the previous document instance and terminate the worker when source of pdf has changed.

Now, it seems that every JavaScript VM instance created before can be destroyed normally.

Before

After

see #105