From 33d56c5d2a84140180b06e5de53621850b116dfe Mon Sep 17 00:00:00 2001 From: "Denis.Zhdanov" Date: Fri, 5 Aug 2011 10:13:16 +0400 Subject: [PATCH] IDEA-53476 Gradle integration (Maven's level - dependencies, modules, repositories) Gradle distribution discovery from PATH is corrected --- .../jetbrains/plugins/gradle/util/GradleLibraryManager.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/plugins/gradle/src/org/jetbrains/plugins/gradle/util/GradleLibraryManager.java b/plugins/gradle/src/org/jetbrains/plugins/gradle/util/GradleLibraryManager.java index f39aa8f635d6..27ea9b30ed51 100644 --- a/plugins/gradle/src/org/jetbrains/plugins/gradle/util/GradleLibraryManager.java +++ b/plugins/gradle/src/org/jetbrains/plugins/gradle/util/GradleLibraryManager.java @@ -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;