MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

app: plugin manager URLs derived from the main one

Browse Source
This commit is contained in:
Roman Shevchenko
2014-12-08 11:42:36 +01:00
parent 179037a52f
commit ce780fe4f1
1 changed files with 12 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/core-impl/src/com/intellij/openapi/application/impl/ApplicationInfoImpl.java
+12 -12
View File
@@ -685,26 +685,26 @@ public class ApplicationInfoImpl extends ApplicationInfoEx implements JDOMExtern
myWhatsNewUrl = whatsnewElement.getAttributeValue(ATTRIBUTE_URL);
}
myPluginsListUrl = DEFAULT_PLUGINS_HOST + "/plugins/list/";
myPluginsDownloadUrl = DEFAULT_PLUGINS_HOST + "/pluginManager/";
Element pluginsElement = parentNode.getChild(ELEMENT_PLUGINS);
if (pluginsElement != null) {
myPluginManagerUrl = pluginsElement.getAttributeValue(ATTRIBUTE_URL);
final String listUrl = pluginsElement.getAttributeValue(ATTRIBUTE_LIST_URL);
if (listUrl != null) {
myPluginsListUrl = listUrl;
}
final String downloadUrl = pluginsElement.getAttributeValue(ATTRIBUTE_DOWNLOAD_URL);
if (downloadUrl != null) {
myPluginsDownloadUrl = downloadUrl;
}
String url = pluginsElement.getAttributeValue(ATTRIBUTE_URL);
myPluginManagerUrl = url != null ? url : DEFAULT_PLUGINS_HOST;
boolean closed = StringUtil.endsWith(myPluginManagerUrl, "/");
String listUrl = pluginsElement.getAttributeValue(ATTRIBUTE_LIST_URL);
myPluginsListUrl = listUrl != null ? listUrl : myPluginManagerUrl + (closed ? "" : "/") + "plugins/list/";
String downloadUrl = pluginsElement.getAttributeValue(ATTRIBUTE_DOWNLOAD_URL);
myPluginsDownloadUrl = downloadUrl != null ? downloadUrl : myPluginManagerUrl + (closed ? "" : "/") + "pluginManager/";
if (!getBuild().isSnapshot()) {
myBuiltinPluginsUrl = pluginsElement.getAttributeValue(ATTRIBUTE_BUILTIN_URL);
}
}
else {
myPluginManagerUrl = DEFAULT_PLUGINS_HOST;
myPluginsListUrl = DEFAULT_PLUGINS_HOST + "/plugins/list/";
myPluginsDownloadUrl = DEFAULT_PLUGINS_HOST + "/pluginManager/";
}
final String pluginsHost = System.getProperty("idea.plugins.host");