make plugin repository url configurable

This commit is contained in:
Sebastian Sdorra
2010-12-18 14:18:14 +01:00
parent 8646be6733
commit 09fb26f63d
5 changed files with 44 additions and 14 deletions

View File

@@ -132,6 +132,16 @@ public class DefaultPluginManager implements PluginManager
//~--- methods --------------------------------------------------------------
/**
* Method description
*
*/
@Override
public void clearCache()
{
cache.clear();
}
/**
* Method description
*
@@ -247,11 +257,6 @@ public class DefaultPluginManager implements PluginManager
infoSet.addAll(installedPlugins.values());
infoSet.addAll(getPluginCenter().getPlugins());
for ( PluginInformation pi : infoSet )
{
System.out.println( pi.getName() + ": " + pi.hashCode() );
}
return infoSet;
}