mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Allow to pass parameters for MavenEmbedder via system properties.
This commit is contained in:
@@ -258,6 +258,11 @@ public class MavenServerManager extends RemoteObjectWrapper<MavenServer> impleme
|
||||
params.getVMParametersList().addParametersString("-Xdebug -Xrunjdwp:transport=dt_socket,server=y,suspend=n,address=" + mavenEmbedderDebugPort);
|
||||
}
|
||||
|
||||
String mavenEmbedderParameters = System.getProperty("idea.maven.embedder.parameters");
|
||||
if (mavenEmbedderParameters != null) {
|
||||
params.getProgramParametersList().addParametersString(mavenEmbedderParameters);
|
||||
}
|
||||
|
||||
return params;
|
||||
}
|
||||
|
||||
@@ -303,9 +308,9 @@ public class MavenServerManager extends RemoteObjectWrapper<MavenServer> impleme
|
||||
String root = pluginFileOrDir.getParent();
|
||||
|
||||
boolean useMaven2 = this.useMaven2;
|
||||
if (ApplicationManager.getApplication().isUnitTestMode()) {
|
||||
useMaven2 = true;
|
||||
}
|
||||
// if (ApplicationManager.getApplication().isUnitTestMode()) {
|
||||
// useMaven2 = true;
|
||||
// }
|
||||
|
||||
if (pluginFileOrDir.isDirectory()) {
|
||||
classpath.add(new File(root, "maven-server-api"));
|
||||
|
||||
Reference in New Issue
Block a user