소스 검색

Merge pull request #89 from VladRassokhin/jre-dir-no-prefix

Do not require jre directory to be prefixed with 'jre'
tags/light-jdk8u112+6
Ivan Dubrov 7 년 전
부모
커밋
0e95ef9bc5
1개의 변경된 파일1개의 추가작업 그리고 1개의 파일을 삭제
  1. 1
    1
      installer/src/main/java/com/github/dcevm/installer/ConfigurationInfo.java

+ 1
- 1
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;
}

Loading…
취소
저장