android: Use new proxy from PROXY_CHANGE intent
commit2f880aa477985ccadb8f3151ed7ddefad06113f1
authorellyjones@chromium.org <ellyjones@chromium.org@0039d316-1c4b-4281-b951-d872f2087c98>
Tue, 22 Oct 2013 21:18:25 +0000 (22 21:18 +0000)
committerellyjones@chromium.org <ellyjones@chromium.org@0039d316-1c4b-4281-b951-d872f2087c98>
Tue, 22 Oct 2013 21:18:25 +0000 (22 21:18 +0000)
tree5806b971f848d80edb1ae3c3ad7399c01e2f495a
parent96a45d875ae0cb3a26c2260c711e651f363985b9
android: Use new proxy from PROXY_CHANGE intent

When we get a PROXY_CHANGE intent, the intent comes with the new proxy value;
use this value instead of ignoring it and asking the system property store for
the new proxy. This fixes a race condition where the system property store may
not have the new proxy by the time we receive the intent.

BUG=none yet
TEST=trybot

Review URL: https://codereview.chromium.org/26763005

git-svn-id: svn://svn.chromium.org/chrome/trunk/src@230208 0039d316-1c4b-4281-b951-d872f2087c98
net/android/java/src/org/chromium/net/ProxyChangeListener.java
net/proxy/proxy_config_service_android.cc
net/proxy/proxy_config_service_android.h