diff options
| author | Ivan Dubrov <dubrov.ivan@gmail.com> | 2016-10-23 08:43:28 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-23 08:43:28 -0700 |
| commit | 0e95ef9bc5305f00209d376157457de8701125f2 (patch) | |
| tree | 3ecb96ea29e9253d6edb94ce5115054b9b72ae30 | |
| parent | 3a63c5506ac86d8213b6cf84a0fec5c19bdf527c (diff) | |
| parent | 62f337f0943a87e0db36b01835bb61937909139c (diff) | |
| download | dcevm-0e95ef9bc5305f00209d376157457de8701125f2.tar.gz dcevm-0e95ef9bc5305f00209d376157457de8701125f2.zip | |
Merge pull request #89 from VladRassokhin/jre-dir-no-prefix
Do not require jre directory to be prefixed with 'jre'
| -rw-r--r-- | installer/src/main/java/com/github/dcevm/installer/ConfigurationInfo.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/installer/src/main/java/com/github/dcevm/installer/ConfigurationInfo.java b/installer/src/main/java/com/github/dcevm/installer/ConfigurationInfo.java index fd5b2c47..e8fa5390 100644 --- a/installer/src/main/java/com/github/dcevm/installer/ConfigurationInfo.java +++ b/installer/src/main/java/com/github/dcevm/installer/ConfigurationInfo.java @@ -161,7 +161,7 @@ public enum ConfigurationInfo { // Utility methods to query installation directories public boolean isJRE(Path directory) { - if (Files.isDirectory(directory) && directory.getFileName().toString().startsWith("jre")) { + if (Files.isDirectory(directory)) { if (!Files.exists(directory.resolve(getJavaExecutable()))) { return false; } |