remove PDFWorker from cache after detsroy

2017-08-02 23:48:42 +03:00 · 2017-08-02 23:48:42 +03:00 · 9b1b160d4f
commit 9b1b160d4f
parent 5b7f712ca7
1 changed files with 1 additions and 0 deletions
--- a/src/display/api.js
+++ b/src/display/api.js
@ -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();