From 427df2dfd76215002282ac2fa2d2a0851ee2796c Mon Sep 17 00:00:00 2001
From: Jonas Jenwald <jonas.jenwald@gmail.com>
Date: Sun, 26 Jan 2020 12:21:23 +0100
Subject: [PATCH] Send the `verbosity` level when setting up fake workers
 (issue 11536)

Interestingly the viewer already seem to work correctly as-is, with workers disabled and a non-standard `verbosity` level.
Hence this is possibly Node.js specific, but given that the issue is lacking *both* the PDF file in question and a runnable test-case, so this patch is essentially a best-effort guess at what the problem could be.
---
 src/display/api.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/display/api.js b/src/display/api.js
index f0d777326..d15deff9e 100644
--- a/src/display/api.js
+++ b/src/display/api.js
@@ -1883,6 +1883,10 @@ const PDFWorker = (function PDFWorkerClosure() {
           const messageHandler = new MessageHandler(id, id + "_worker", port);
           this._messageHandler = messageHandler;
           this._readyCapability.resolve();
+          // Send global setting, e.g. verbosity level.
+          messageHandler.send("configure", {
+            verbosity: this.verbosity,
+          });
         })
         .catch(reason => {
           this._readyCapability.reject(