browser(webkit): send Playwright.pageProxyDestroyed for crashed tabs when deleting context (#2986)

This commit is contained in:
Yury Semikhatsky 2020-07-16 15:42:07 -07:00 committed by GitHub
parent 89ccf99b90
commit 1896e8edc0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 7 additions and 5 deletions

View File

@ -1,2 +1,2 @@
1307 1308
Changed: yurys@chromium.org Wed Jul 15 10:44:00 PDT 2020 Changed: yurys@chromium.org Thu Jul 16 15:39:22 PDT 2020

View File

@ -9803,10 +9803,10 @@ index 0000000000000000000000000000000000000000..f356c613945fd263889bc74166bef2b2
+} // namespace WebKit +} // namespace WebKit
diff --git a/Source/WebKit/UIProcess/InspectorPlaywrightAgent.cpp b/Source/WebKit/UIProcess/InspectorPlaywrightAgent.cpp diff --git a/Source/WebKit/UIProcess/InspectorPlaywrightAgent.cpp b/Source/WebKit/UIProcess/InspectorPlaywrightAgent.cpp
new file mode 100644 new file mode 100644
index 0000000000000000000000000000000000000000..012629e3d4e4b892a8c23c3984ab30409b9c2b1a index 0000000000000000000000000000000000000000..d9218841c5ca436d291e5c0918906be084146cb8
--- /dev/null --- /dev/null
+++ b/Source/WebKit/UIProcess/InspectorPlaywrightAgent.cpp +++ b/Source/WebKit/UIProcess/InspectorPlaywrightAgent.cpp
@@ -0,0 +1,821 @@ @@ -0,0 +1,823 @@
+/* +/*
+ * Copyright (C) 2019 Microsoft Corporation. + * Copyright (C) 2019 Microsoft Corporation.
+ * + *
@ -10007,7 +10007,9 @@ index 0000000000000000000000000000000000000000..012629e3d4e4b892a8c23c3984ab3040
+ +
+Vector<WebPageProxy*> BrowserContext::pages() const { +Vector<WebPageProxy*> BrowserContext::pages() const {
+ Vector<WebPageProxy*> pages; + Vector<WebPageProxy*> pages;
+ for (auto& process : processPool->processes()) { + for (auto* process : WebProcessProxy::allProcessesForInspector()) {
+ if (process->processPoolIfExists() != processPool)
+ continue;
+ for (auto* page : process->pages()) + for (auto* page : process->pages())
+ pages.append(page); + pages.append(page);
+ } + }