From 69231e2dbd4dc9114b02912b3c2f089b81631b6f Mon Sep 17 00:00:00 2001
From: Calixte Denizet <calixte.denizet@gmail.com>
Date: Mon, 19 May 2025 17:05:37 +0200
Subject: [PATCH] Fix pdfjsPreloadedWorker when it's undefined

---
 web/app_options.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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