From 4d50db6e1e012d514f3ebc688311f709697e2b65 Mon Sep 17 00:00:00 2001
From: Yury Semikhatsky <yurys@chromium.org>
Date: Fri, 17 Jan 2020 18:46:15 -0800
Subject: [PATCH] be prepared to late worker notifications

---
 src/webkit/wkWorkers.ts | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/webkit/wkWorkers.ts b/src/webkit/wkWorkers.ts
index 18213fe7bb..13de199ace 100644
--- a/src/webkit/wkWorkers.ts
+++ b/src/webkit/wkWorkers.ts
@@ -61,10 +61,14 @@ export class WKWorkers {
       }),
       helper.addEventListener(session, 'Worker.dispatchMessageFromWorker', (event: Protocol.Worker.dispatchMessageFromWorkerPayload) => {
         const workerSession = this._workerSessions.get(event.workerId)!;
+        if (!workerSession)
+          return;
         workerSession.dispatchMessage(JSON.parse(event.message));
       }),
       helper.addEventListener(session, 'Worker.workerTerminated', (event: Protocol.Worker.workerTerminatedPayload) => {
         const workerSession = this._workerSessions.get(event.workerId)!;
+        if (!workerSession)
+          return;
         workerSession.dispose();
         this._workerSessions.delete(event.workerId);
         this._page._removeWorker(event.workerId);