OSDN Git Service

SDK Manager: refresh sources when HTTP/S pref is changed.
authorRaphael <raphael@google.com>
Fri, 6 Nov 2009 23:18:57 +0000 (15:18 -0800)
committerRaphael <raphael@google.com>
Fri, 6 Nov 2009 23:18:57 +0000 (15:18 -0800)
commit83429ec6975765b5db14a5e9f7c37d8cc359793c
tree7e209201109d202f56246e79807ddc2d492b4e18
parent848df58f1958f01a521b1d88cb5e2c505fba0818
SDK Manager: refresh sources when HTTP/S pref is changed.

Currently you need to use the Refresh button in the remote page
after you change the HTTP/s setting and many users think
instead they need to close/restart the SDK manager.

Change-Id: Ic291d53459624558910bbc417295df5ddc7b037d
sdkmanager/libs/sdkuilib/src/com/android/sdkuilib/internal/repository/SettingsController.java