From 5ba596786ccd898ff3c70b9b738678d3fefc59c6 Mon Sep 17 00:00:00 2001
From: Jonas Jenwald <jonas.jenwald@gmail.com>
Date: Thu, 9 Feb 2023 22:01:16 +0100
Subject: [PATCH] Change `WorkerTasks`, in
 `WorkerMessageHandler.createDocumentHandler`, to a use a Set

This is a tiny bit more compact, thanks to the `Set.prototype.delete` method.
---
 src/core/worker.js | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/src/core/worker.js b/src/core/worker.js
index 570cf9353..933ed3fb8 100644
--- a/src/core/worker.js
+++ b/src/core/worker.js
@@ -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) {