fix: DirectoryStream not closed

dc31674721 (r53347194)
This commit is contained in:
Haowei Wen
2021-07-12 13:19:16 +08:00
parent 46a7269087
commit e7d5faeeac

View File

@@ -9,6 +9,7 @@ import org.jackhuang.hmcl.util.platform.JavaVersion;
import org.jackhuang.hmcl.util.platform.OperatingSystem;
import java.io.IOException;
import java.nio.file.DirectoryStream;
import java.nio.file.Files;
import java.nio.file.Path;
import java.util.Optional;
@@ -45,7 +46,8 @@ public final class JavaRepository {
String platform = platformOptional.get();
Path javaStoragePath = getJavaStoragePath();
if (Files.isDirectory(javaStoragePath)) {
for (Path component : Files.newDirectoryStream(javaStoragePath)) {
try (DirectoryStream<Path> dirStream = Files.newDirectoryStream(javaStoragePath)) {
for (Path component : dirStream) {
Path javaHome = component.resolve(platform).resolve(component.getFileName());
try {
addJava(javaHome);
@@ -56,6 +58,7 @@ public final class JavaRepository {
}
}
}
}
public static Optional<String> getCurrentJavaPlatform() {
if (OperatingSystem.CURRENT_OS == OperatingSystem.LINUX) {