mirrors/pdf.js
1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-25 17:48:07 +02:00
Code Activity

Change WorkerTasks, in WorkerMessageHandler.createDocumentHandler, to a use a Set

Browse source 
This is a tiny bit more compact, thanks to the `Set.prototype.delete` method.
This commit is contained in:
Jonas Jenwald 2023-02-09 22:01:16 +01:00
parent 0fca6e187c
commit 5ba596786c
1 changed files with 3 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

7
src/core/worker.js
View file

@ -93,7 +93,7 @@ class WorkerMessageHandler {
let pdfManager;
let terminated = false;
let cancelXHRs = null;
const WorkerTasks = [];
const WorkerTasks = new Set();
const verbosity = getVerbosityLevel();
const { docId, apiVersion } = docParams;
@ -151,13 +151,12 @@ class WorkerMessageHandler {
}
function startWorkerTask(task) {
WorkerTasks.push(task);
WorkerTasks.add(task);
}
function finishWorkerTask(task) {
task.finish();
const i = WorkerTasks.indexOf(task);
WorkerTasks.splice(i, 1);
WorkerTasks.delete(task);
}
async function loadDocument(recoveryMode) {