system property for customizing plugins host 92.87
authorDmitry Jemerov <yole@jetbrains.com>
Tue, 1 Dec 2009 18:05:50 +0000 (21:05 +0300)
committerDmitry Jemerov <yole@jetbrains.com>
Tue, 1 Dec 2009 18:08:00 +0000 (21:08 +0300)
platform/platform-impl/src/com/intellij/openapi/application/impl/ApplicationInfoImpl.java

index 136a6f78ab5f1180f42016131f0c3f383b05140c..fda5fae20280d5c04c3a298cd1b2a70dcfc6398e 100644 (file)
@@ -112,6 +112,7 @@ public class ApplicationInfoImpl extends ApplicationInfoEx implements JDOMExtern
   @NonNls private static final String ATTRIBUTE_DOWNLOAD_URL = "download-url";
   @NonNls private static final String ATTRIBUTE_WEBHELP_URL = "webhelp-url";
   @NonNls private static final String ELEMENT_WHATSNEW = "whatsnew";
+  private static final String DEFAULT_PLUGINS_HOST = "http://plugins.intellij.net";
 
   public void initComponent() { }
 
@@ -394,8 +395,8 @@ public class ApplicationInfoImpl extends ApplicationInfoEx implements JDOMExtern
       myWhatsNewUrl = whatsnewElement.getAttributeValue(ATTRIBUTE_URL);
     }
 
-    myPluginsListUrl = "http://plugins.intellij.net/plugins/list/";
-    myPluginsDownloadUrl = "http://plugins.intellij.net/pluginManager";
+    myPluginsListUrl = DEFAULT_PLUGINS_HOST + "/plugins/list/";
+    myPluginsDownloadUrl = DEFAULT_PLUGINS_HOST + "/pluginManager";
 
     Element pluginsElement = parentNode.getChild(ELEMENT_PLUGINS);
     if (pluginsElement != null) {
@@ -410,7 +411,13 @@ public class ApplicationInfoImpl extends ApplicationInfoEx implements JDOMExtern
       }
     }
     else {
-      myPluginManagerUrl = "http://plugins.intellij.net";
+      myPluginManagerUrl = DEFAULT_PLUGINS_HOST;
+    }
+
+    final String pluginsHost = System.getProperty("idea.plugins.host");
+    if (pluginsHost != null) {
+      myPluginsListUrl = myPluginsListUrl.replace(DEFAULT_PLUGINS_HOST, pluginsHost);
+      myPluginsDownloadUrl = myPluginsDownloadUrl.replace(DEFAULT_PLUGINS_HOST, pluginsHost);
     }
 
     myPluginChooserPages = new ArrayList<PluginChooserPage>();