@ -11972,7 +11995,7 @@ var PDFWorker = function PDFWorkerClosure() {
@@ -11972,7 +11995,7 @@ var PDFWorker = function PDFWorkerClosure() {
pdfWorkerPorts.delete(this._port);
this._port=null;
if(this._messageHandler){
this._messageHandler.destroy();
this._messageHandler.close(new_util.AbortException('Worker was destroyed'));
this._messageHandler=null;
}
}
@ -12034,7 +12057,7 @@ var WorkerTransport = function WorkerTransportClosure() {
@@ -12034,7 +12057,7 @@ var WorkerTransport = function WorkerTransportClosure() {
_this7._networkStream.cancelAllRequests();
}
if(_this7.messageHandler){
_this7.messageHandler.destroy();
_this7.messageHandler.close(new_util.AbortException('Worker was destroyed'));
_this7.messageHandler=null;
}
_this7.destroyCapability.resolve();
@ -12648,8 +12671,8 @@ var _UnsupportedManager = function UnsupportedManagerClosure() {
@@ -12648,8 +12671,8 @@ var _UnsupportedManager = function UnsupportedManagerClosure() {
messageHandler.close(newError('Worker was terminated'));
worker.terminate();
}
});
@ -3664,7 +3687,7 @@ var PDFWorker = function PDFWorkerClosure() {
@@ -3664,7 +3687,7 @@ var PDFWorker = function PDFWorkerClosure() {
pdfWorkerPorts.delete(this._port);
this._port=null;
if(this._messageHandler){
this._messageHandler.destroy();
this._messageHandler.close(new_util.AbortException('Worker was destroyed'));
this._messageHandler=null;
}
}
@ -3726,7 +3749,7 @@ var WorkerTransport = function WorkerTransportClosure() {
@@ -3726,7 +3749,7 @@ var WorkerTransport = function WorkerTransportClosure() {
_this8._networkStream.cancelAllRequests();
}
if(_this8.messageHandler){
_this8.messageHandler.destroy();
_this8.messageHandler.close(new_util.AbortException('Worker was destroyed'));
_this8.messageHandler=null;
}
_this8.destroyCapability.resolve();
@ -4340,8 +4363,8 @@ var _UnsupportedManager = function UnsupportedManagerClosure() {
@@ -4340,8 +4363,8 @@ var _UnsupportedManager = function UnsupportedManagerClosure() {
messageHandler.close(newError('Worker was terminated'));
worker.terminate();
}
});
@ -908,7 +908,7 @@ var PDFWorker = function PDFWorkerClosure() {
@@ -908,7 +908,7 @@ var PDFWorker = function PDFWorkerClosure() {
pdfWorkerPorts.delete(this._port);
this._port=null;
if(this._messageHandler){
this._messageHandler.destroy();
this._messageHandler.close(new_util.AbortException('Worker was destroyed'));
this._messageHandler=null;
}
}
@ -970,7 +970,7 @@ var WorkerTransport = function WorkerTransportClosure() {
@@ -970,7 +970,7 @@ var WorkerTransport = function WorkerTransportClosure() {
_this8._networkStream.cancelAllRequests();
}
if(_this8.messageHandler){
_this8.messageHandler.destroy();
_this8.messageHandler.close(new_util.AbortException('Worker was destroyed'));
_this8.messageHandler=null;
}
_this8.destroyCapability.resolve();
@ -1584,8 +1584,8 @@ var _UnsupportedManager = function UnsupportedManagerClosure() {
@@ -1584,8 +1584,8 @@ var _UnsupportedManager = function UnsupportedManagerClosure() {