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

1 files changed, 4 insertions, 2 deletions

diff --git a/sdkmanager/libs/sdkuilib/src/com/android/sdkuilib/internal/repository/SettingsController.java b/sdkmanager/libs/sdkuilib/src/com/android/sdkuilib/internal/repository/SettingsController.java
index fe94d86..7c793e4 100755
--- a/sdkmanager/libs/sdkuilib/src/com/android/sdkuilib/internal/repository/SettingsController.java
+++ b/sdkmanager/libs/sdkuilib/src/com/android/sdkuilib/internal/repository/SettingsController.java
@@ -21,8 +21,6 @@ import com.android.prefs.AndroidLocation.AndroidLocationException;
 import com.android.sdklib.ISdkLog;

 

 import org.eclipse.jface.dialogs.MessageDialog;

-import org.eclipse.swt.widgets.Display;

-import org.eclipse.swt.widgets.Shell;

 

 import java.io.File;

 import java.io.FileInputStream;

@@ -248,6 +246,10 @@ public class SettingsController {
         mSettingsPage.retrieveSettings(mProperties);

         applySettings();

         saveSettings();

+

+        // In case the HTTP/HTTPS setting change, force sources to be reloaded

+        // (this only refreshes sources that the user has already tried to open.)

+        mUpdaterData.refreshSources(false /*forceFetching*/);

     }

 

     /**