[Webkit-unassigned] [Bug 128674] Provide API to set proxy settings

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=128674

Jiří Janoušek <janousek.jiri at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |janousek.jiri at gmail.com

--- Comment #1 from Jiří Janoušek <janousek.jiri at gmail.com> ---
I second this feature request as a possibility to set different proxy server than specified in GNOME settings for whole system is crucial for some users of my application Nuvola Player.

Although I've found an ugly hack* how to disable the default proxy resolver and set custom proxy server, I would appreciate some nice API to set "proxy-uri" property of the SoupSession.

Thanks for your work!

*The hack:

- Unset env variables GNOME_DESKTOP_SESSION_ID and DESKTOP_SESSION
- Set env variables http_proxy and https_proxy.
- See https://git.gnome.org/browse/glib-networking/tree/proxy/gnome/gproxyresolvergnome.c

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-unassigned/attachments/20150314/6f6ad7fb/attachment-0002.html>