From 9b1b160d4f6f293488bed497678836908525f1a3 Mon Sep 17 00:00:00 2001
From: Chen Machluf <machluf@wearegofer.com>
Date: Wed, 2 Aug 2017 23:48:42 +0300
Subject: [PATCH] remove PDFWorker from cache after detsroy

---
 src/display/api.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/display/api.js b/src/display/api.js
index 8fd0dfa94..2df8f358a 100644
--- 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();