Filip/playwright
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

fix: balance ref/unref calls for the default data manager (#256)

Browse source
This commit is contained in:
Yury Semikhatsky 2019-12-16 11:05:52 -07:00 committed by Dmitry Gozman
parent ffd45a3783
commit 02fa4dd7ca
2 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
browser_patches/webkit/BUILD_NUMBER
View file

@ -1 +1 @@
1037 1038

5
browser_patches/webkit/patches/bootstrap.diff
View file

@ -7531,7 +7531,7 @@ index 1570d65effb..456f96cf589 100644
typedef struct _BrowserWindow BrowserWindow; typedef struct _BrowserWindow BrowserWindow;
diff --git a/Tools/MiniBrowser/gtk/main.c b/Tools/MiniBrowser/gtk/main.c diff --git a/Tools/MiniBrowser/gtk/main.c b/Tools/MiniBrowser/gtk/main.c
index 4c5147dcd38..c91a7baea1e 100644 index 4c5147dcd38..bc895f379e5 100644
--- a/Tools/MiniBrowser/gtk/main.c --- a/Tools/MiniBrowser/gtk/main.c
+++ b/Tools/MiniBrowser/gtk/main.c +++ b/Tools/MiniBrowser/gtk/main.c
@@ -53,6 +53,7 @@ static const char *cookiesFile; @@ -53,6 +53,7 @@ static const char *cookiesFile;
@ -7580,7 +7580,7 @@ index 4c5147dcd38..c91a7baea1e 100644
int main(int argc, char *argv[]) int main(int argc, char *argv[])
{ {
#if ENABLE_DEVELOPER_MODE #if ENABLE_DEVELOPER_MODE
@@ -541,10 +566,21 @@ int main(int argc, char *argv[]) @@ -541,10 +566,22 @@ int main(int argc, char *argv[])
return 0; return 0;
} }
@ -7588,6 +7588,7 @@ index 4c5147dcd38..c91a7baea1e 100644
+ WebKitWebsiteDataManager *manager; + WebKitWebsiteDataManager *manager;
+ if (inspectorPipe) { + if (inspectorPipe) {
+ manager = webkit_web_context_get_website_data_manager(webkit_web_context_get_default()); + manager = webkit_web_context_get_website_data_manager(webkit_web_context_get_default());
+ g_object_ref(manager);
+ } else if (privateMode || automationMode) { + } else if (privateMode || automationMode) {
+ manager = webkit_website_data_manager_new_ephemeral(); + manager = webkit_website_data_manager_new_ephemeral();
+ } else { + } else {