mirrors/pdf.js
1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-23 08:38:06 +02:00
Code Activity

Merge pull request #8738 from ChenMachluf/remove_workerPort_after_PDFWorker_destroy

Browse source 
Delete workerPort to PDFWorker cache after PDFWorker destroy
This commit is contained in:
Yury Delendik 2017-08-03 15:49:40 -05:00 • committed by GitHub
commit 5b5781b45d
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/display/api.js
View file

@ -1519,6 +1519,7 @@ var PDFWorker = (function PDFWorkerClosure() {
this._webWorker.terminate();
this._webWorker = null;
}
pdfWorkerPorts.delete(this._port);
this._port = null;
if (this._messageHandler) {
this._messageHandler.destroy();