diff options
author | Grant Gayed <grant_gayed@ca.ibm.com> | 2011-12-16 16:53:59 -0500 |
---|---|---|
committer | Grant Gayed <grant_gayed@ca.ibm.com> | 2011-12-16 16:53:59 -0500 |
commit | 78abe5d2890d6c18bca5ab665e997506c0954a8f (patch) | |
tree | 8e2d1a784b45f76c627148330f6f4847dcfcf173 /bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse/swt/internal/webkit/WebKitGTK.java | |
parent | 01134aab639daf6ddb28a9fb96ccb846dab6df63 (diff) | |
download | eclipse.platform.swt-78abe5d2890d6c18bca5ab665e997506c0954a8f.tar.gz eclipse.platform.swt-78abe5d2890d6c18bca5ab665e997506c0954a8f.tar.xz eclipse.platform.swt-78abe5d2890d6c18bca5ab665e997506c0954a8f.zip |
Bug 366989 - [Browser] WebKitGTK crashes when clearing all session
cookies
Diffstat (limited to 'bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse/swt/internal/webkit/WebKitGTK.java')
-rw-r--r-- | bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse/swt/internal/webkit/WebKitGTK.java | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse/swt/internal/webkit/WebKitGTK.java b/bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse/swt/internal/webkit/WebKitGTK.java index f9523d7da2..b18f4e2ac4 100644 --- a/bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse/swt/internal/webkit/WebKitGTK.java +++ b/bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse/swt/internal/webkit/WebKitGTK.java @@ -400,6 +400,17 @@ public static final int /*long*/ soup_auth_get_scheme_name (int /*long*/ auth) { } /** @method flags=dynamic */ +public static final native void _soup_cookie_free (int /*long*/ cookie); +public static final void soup_cookie_free (int /*long*/ cookie) { + lock.lock(); + try { + _soup_cookie_free (cookie); + } finally { + lock.unlock(); + } +} + +/** @method flags=dynamic */ public static final native void _soup_cookie_jar_add_cookie (int /*long*/ jar, int /*long*/ cookie); public static final void soup_cookie_jar_add_cookie (int /*long*/ jar, int /*long*/ cookie) { lock.lock(); |