append version to plugin url for later use

This commit is contained in:
Sebastian Sdorra
2011-02-10 16:18:45 +01:00
parent cd92d776c1
commit 60d8bbf444

View File

@@ -380,6 +380,28 @@ public class DefaultPluginManager implements PluginManager
//~--- methods -------------------------------------------------------------- //~--- methods --------------------------------------------------------------
/**
* Method description
*
*
*
* @param url
* @return
*/
private String buildPluginUrl(String url)
{
if (url.contains("?"))
{
url = url.concat("&scm.version=");
}
else
{
url = url.concat("?scm.version=");
}
return url.concat(SCMContext.getContext().getVersion());
}
/** /**
* Method description * Method description
* *
@@ -469,14 +491,16 @@ public class DefaultPluginManager implements PluginManager
{ {
synchronized (DefaultPluginManager.class) synchronized (DefaultPluginManager.class)
{ {
String pluginUrl = configuration.getPluginUrl();
boolean gzip = pluginUrl.endsWith(".gz");
pluginUrl = buildPluginUrl(pluginUrl);
if (logger.isInfoEnabled()) if (logger.isInfoEnabled())
{ {
logger.info("fetch plugin informations from {}", logger.info("fetch plugin informations from {}", pluginUrl);
configuration.getPluginUrl());
} }
String pluginUrl = configuration.getPluginUrl();
if (Util.isNotEmpty(pluginUrl)) if (Util.isNotEmpty(pluginUrl))
{ {
InputStream input = null; InputStream input = null;
@@ -485,7 +509,7 @@ public class DefaultPluginManager implements PluginManager
{ {
input = new URL(pluginUrl).openStream(); input = new URL(pluginUrl).openStream();
if (pluginUrl.endsWith(".gz")) if (gzip)
{ {
input = new GZIPInputStream(input); input = new GZIPInputStream(input);
} }