Skip to content

Commit

Permalink
Revert "Fix ZipFileStream"
Browse files Browse the repository at this point in the history
This reverts commit 710983f.
  • Loading branch information
Michael5601 committed May 13, 2024
1 parent 710983f commit a1ed640
Showing 1 changed file with 1 addition and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -219,8 +219,7 @@ private boolean isParent(String parent, String child) {

@Override
public InputStream openInputStream(int options, IProgressMonitor monitor) throws CoreException {
try {
ZipInputStream in = new ZipInputStream(rootStore.openInputStream(EFS.NONE, monitor));
try (ZipInputStream in = new ZipInputStream(rootStore.openInputStream(EFS.NONE, monitor))) {
ZipEntry entry = findEntry(path.toString(), in);
if (entry == null) {
throw new CoreException(Status.error("File not found: " + rootStore.toString()));
Expand Down

0 comments on commit a1ed640

Please sign in to comment.