Merge pull request #10873 from Snuffleupagus/worker-terminate-clearPrimitiveCaches

Ensure that the `Cmd`/`Name`/`Ref` caches are cleared when terminating the worker (PR 10863 follow-up)
This commit is contained in:
Tim van der Meij 2019-05-31 12:56:53 +02:00 committed by GitHub
commit 209e42043a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -19,10 +19,10 @@ import {
PasswordException, setVerbosityLevel, UnexpectedResponseException,
UnknownErrorException, UNSUPPORTED_FEATURES, VerbosityLevel, warn
} from '../shared/util';
import { clearPrimitiveCaches, Ref } from './primitives';
import { LocalPdfManager, NetworkPdfManager } from './pdf_manager';
import isNodeJS from '../shared/is_node';
import { MessageHandler } from '../shared/message_handler';
import { Ref } from './primitives';
import { XRefParseException } from './core_utils';
var WorkerTask = (function WorkerTaskClosure() {
@ -700,6 +700,7 @@ var WorkerMessageHandler = {
if (cancelXHRs) {
cancelXHRs();
}
clearPrimitiveCaches();
var waitOn = [];
WorkerTasks.forEach(function (task) {