From d29293622e09d56bfed5bbb0ca3d09c5fc98e9de Mon Sep 17 00:00:00 2001
From: Jonas Jenwald <jonas.jenwald@gmail.com>
Date: Tue, 7 Jul 2026 13:02:46 +0200
Subject: [PATCH] Shorten the `info`-logging in the "GetOperatorList" and
 "GetTextContent" handlers

By re-using the `WorkerTask`-names these disabled-by-default logging statements become ever so slightly shorter, which cannot hurt.
---
 src/core/worker.js | 10 +++-------
 1 file changed, 3 insertions(+), 7 deletions(-)

diff --git a/src/core/worker.js b/src/core/worker.js
index 82297eca0..700493103 100644
--- a/src/core/worker.js
+++ b/src/core/worker.js
@@ -915,11 +915,10 @@ class WorkerMessageHandler {
             pageIndex,
           })
           .then(
-            operatorListInfo => {
+            opListInfo => {
               if (start) {
                 info(
-                  `page=${pageIndex + 1} - getOperatorList: time=` +
-                    `${Date.now() - start}ms, len=${operatorListInfo.length}`
+                  `${task.name}; time=${Date.now() - start}ms, len=${opListInfo.length}`
                 );
               }
               sink.close();
@@ -959,10 +958,7 @@ class WorkerMessageHandler {
           .then(
             () => {
               if (start) {
-                info(
-                  `page=${pageIndex + 1} - getTextContent: time=` +
-                    `${Date.now() - start}ms`
-                );
+                info(`${task.name}; time=${Date.now() - start}ms`);
               }
               sink.close();
             },