From d846b8601ee509e764dddacf6374284fef0ce552 Mon Sep 17 00:00:00 2001
From: Jonas Jenwald <jonas.jenwald@gmail.com>
Date: Fri, 9 Sep 2022 11:47:26 +0200
Subject: [PATCH] Send the `verbosity` when using a workerPort (issue 15419)

This *should* fix issue 15419, but given the lack of a runnable example it's difficult to know for sure.
---
 src/display/api.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/display/api.js b/src/display/api.js
index 301b65c02..6e768be86 100644
--- a/src/display/api.js
+++ b/src/display/api.js
@@ -2010,6 +2010,10 @@ class PDFWorker {
       // and ready to accept messages.
     });
     this._readyCapability.resolve();
+    // Send global setting, e.g. verbosity level.
+    this._messageHandler.send("configure", {
+      verbosity: this.verbosity,
+    });
   }
 
   _initialize() {