From a8a80a226316cea1f172bf5e0202074e0243e620 Mon Sep 17 00:00:00 2001 From: Paul Berberian Date: Tue, 3 Sep 2024 19:14:09 +0200 Subject: [PATCH] Fix issue when reloading while a reload is pending. --- src/core/main/worker/worker_main.ts | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/core/main/worker/worker_main.ts b/src/core/main/worker/worker_main.ts index 8f66d06fbf..cff072fc55 100644 --- a/src/core/main/worker/worker_main.ts +++ b/src/core/main/worker/worker_main.ts @@ -923,6 +923,10 @@ function loadOrReloadPreparedContent( ); }, (err: unknown) => { + if (TaskCanceller.isCancellationError(err)) { + log.info("WP: A reloading operation was cancelled"); + return; + } sendMessage({ type: WorkerMessageType.Error, contentId,