Close file stream

This commit is contained in:
Rene Pfeuffer
2019-09-18 11:02:43 +02:00
parent ca0f649b7c
commit 7e85f374ab

View File

@@ -33,6 +33,7 @@ import java.nio.file.Path;
import java.util.Iterator; import java.util.Iterator;
import java.util.List; import java.util.List;
import java.util.Set; import java.util.Set;
import java.util.stream.Stream;
public final class PluginBootstrap { public final class PluginBootstrap {
@@ -87,8 +88,8 @@ public final class PluginBootstrap {
} }
private void uninstallMarkedPlugins(Path pluginDirectory) { private void uninstallMarkedPlugins(Path pluginDirectory) {
try { try (Stream<Path> list = java.nio.file.Files.list(pluginDirectory)) {
java.nio.file.Files.list(pluginDirectory) list
.filter(java.nio.file.Files::isDirectory) .filter(java.nio.file.Files::isDirectory)
.filter(this::isMarkedForUninstall) .filter(this::isMarkedForUninstall)
.forEach(this::uninstall); .forEach(this::uninstall);