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

IDEA-53476 Gradle integration (Maven's level - dependencies, modules, repositories)

Browse Source 
Gradle distribution discovery from PATH is corrected
This commit is contained in:
Denis.Zhdanov
2011-08-09 17:56:29 +04:00
parent 404a20c8cc
commit 33d56c5d2a
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/gradle/src/org/jetbrains/plugins/gradle/util/GradleLibraryManager.java
+2 -2
View File
@@ -36,7 +36,7 @@ public class GradleLibraryManager {
// Init static data with ability to redefine it locally.
GRADLE_JAR_FILE_PATTERN = Pattern.compile(System.getProperty("gradle.pattern.core.jar", "gradle-(core-)?(\\d.*)\\.jar"));
ANY_GRADLE_JAR_FILE_PATTERN = Pattern.compile(System.getProperty("gradle.pattern.core.jar", "gradle-(.*)\\.jar"));
GRADLE_START_FILE_NAMES = System.getProperty("gradle.start.file.names", "gradle|gradle.cmd|gradle.sh").split("|");
GRADLE_START_FILE_NAMES = System.getProperty("gradle.start.file.names", "gradle:gradle.cmd:gradle.sh").split(":");
GRADLE_ENV_PROPERTY_NAME = System.getProperty("gradle.home.env.key", "GRADLE_HOME");
}
@@ -118,7 +118,7 @@ public class GradleLibraryManager {
if (path == null) {
return null;
}
for (String pathEntry : path.split(File.separator)) {
for (String pathEntry : path.split(File.pathSeparator)) {
File dir = new File(pathEntry);
if (!dir.isDirectory()) {
continue;