Session javaSession = null;
Session distSession = null;
try {
+ // TODO rather user a JavaRepoManager that will also implicitely
+ // manage the indexing of newly created nodes.
javaSession = JcrUtils.loginOrCreateWorkspace(javaRepository,
workspace);
distSession = JcrUtils.loginOrCreateWorkspace(distRepository,
return loadUrlToPath(url, distSession, distPath);
} catch (FileNotFoundException e) {
if (log.isDebugEnabled())
- log.debug("Cannot download" + url
+ log.debug("Cannot download " + url
+ ", trying another mirror");
}
}
this.mirrors = mirrors;
}
+ public void setMavenRepositories(List<String> mavenRepositories) {
+ this.mavenRepositories = mavenRepositories;
+ }
+
+ public void setMavenProxyBase(String mavenProxyBase) {
+ this.mavenProxyBase = mavenProxyBase;
+ }
+
}