From f01b13d3325aef0edb7a98b548c46c646e9cc1d4 Mon Sep 17 00:00:00 2001
From: Calixte Denizet <calixte.denizet@gmail.com>
Date: Thu, 15 May 2025 18:13:53 +0200
Subject: [PATCH] Use the worker created in the child actor (bug 1966721)

---
 web/app_options.js | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/web/app_options.js b/web/app_options.js
index 461336dc1..34615b8fc 100644
--- a/web/app_options.js
+++ b/web/app_options.js
@@ -502,7 +502,10 @@ const defaultOptions = {
 
   workerPort: {
     /** @type {Object} */
-    value: null,
+    value:
+      typeof PDFJSDev !== "undefined" && PDFJSDev.test("MOZCENTRAL")
+        ? globalThis.pdfjsPreloadedWorker
+        : null,
     kind: OptionKind.WORKER,
   },
   workerSrc: {