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

rename property (CR-IC-519)

Browse Source
This commit is contained in:
Dmitry Jemerov
2013-03-25 14:32:16 +01:00
parent cf502b5768
commit 308a00e9b7
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/compiler/impl/src/com/intellij/compiler/server/impl/CompileServerClasspathManager.java
+1 -1
View File
@@ -118,7 +118,7 @@ public class CompileServerClasspathManager {
String pluginDirName = StringUtil.getShortName(plugin.getPluginId().getIdString());
List<String> roots = Arrays.asList(new File(PathManager.getHomePath(), "plugins").getPath(),
new File(PathManager.getHomePath(), "community/plugins").getPath());
String extraDir = System.getProperty("compile.server.development.plugins.dir");
String extraDir = System.getProperty("idea.external.build.development.plugins.dir");
if (extraDir != null) {
roots.add(extraDir);
}