HTTP proxy autoconfiguration: how?

[Dmitry Golubovsky]

Hi,

It looks like that, at least in Gingerbread, setting the following
property

setprop net.gprs.http-proxy http://11.22.33.44:5555

makes Android use the given URL as HTTP proxy (looks like it works
with HTTPS as well) for all HTTP connections made by the browser (and
maybe other programs).

(deduced from reading sources for the Proxy class where this option is
hardcoded)

I want to make this auto-configurable. Any suggestions how to make
this the best way?

I see the following options:

- WPAD [1] aka dhcp option 252 - in case there is at least a
Javascript interpreter available in Android, or Webkit supports WPAD
which I cannot see a sign of
- create our own DHCP option and make the DHCP ethernet support code
recognize it
- from kernel command line (worst case, but may work for a PXE-booted
diskless station)

Any further ideas? I see the custom DHCP option the best of all three
unless WPAD is sipported already, has anybody succeeded with anything
else?

Thanks.


-----------
[1] http://en.wikipedia.org/wiki/Web_Proxy_Autodiscovery_Protocol