Skip to content

Commit

Permalink
GP-0 corrected ProjectFileManager.dispose issue which could mask other
Browse files Browse the repository at this point in the history
problems encountered during instantiation.
  • Loading branch information
ghidra1 committed Jun 27, 2023
1 parent 141d6d1 commit ed7ddd1
Showing 1 changed file with 6 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -1181,8 +1181,12 @@ public void dispose() {
repository.disconnect();
repository = null;
}
rootFolderData.dispose();
versionedFileSystem.dispose();
if (rootFolderData != null) {
rootFolderData.dispose();
}
if (versionedFileSystem != null) {
versionedFileSystem.dispose();
}
fileSystem.dispose();
}
}
Expand Down

0 comments on commit ed7ddd1

Please sign in to comment.