From 57c12ae55c93e3849dfff33d987931af4629b9cf Mon Sep 17 00:00:00 2001
From: Yury Semikhatsky <yurys@chromium.org>
Date: Fri, 17 Jan 2020 14:22:36 -0800
Subject: [PATCH] dispose page on page proxy disposal

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

diff --git a/src/webkit/wkPageProxy.ts b/src/webkit/wkPageProxy.ts
index b9ab535bda..f30a226b7e 100644
--- a/src/webkit/wkPageProxy.ts
+++ b/src/webkit/wkPageProxy.ts
@@ -68,6 +68,10 @@ export class WKPageProxy {
     for (const session of this._sessions.values())
       session.dispose();
     this._sessions.clear();
+    if (this._provisionalPage) {
+      this._provisionalPage.dispose();
+      this._provisionalPage = null;
+    }
     if (this._wkPage)
       this._wkPage.didDisconnect();
   }