diff options
author | Colin Decker <cgdecker@google.com> | 2013-10-04 12:12:20 -0400 |
---|---|---|
committer | Colin Decker <cgdecker@google.com> | 2013-10-04 12:12:20 -0400 |
commit | 0f1ac70831615ddef0020c046423c2feb7c9e066 (patch) | |
tree | fdd9d6afae1006b98e4e7581dd61b211ff6e35b1 /jimfs/src/main | |
parent | 19495e956040ecff904e6958df4d35f04e181d57 (diff) | |
download | jimfs-0f1ac70831615ddef0020c046423c2feb7c9e066.tar.gz |
Minor change
Diffstat (limited to 'jimfs/src/main')
-rw-r--r-- | jimfs/src/main/java/com/google/jimfs/internal/JimfsFileSystem.java | 2 | ||||
-rw-r--r-- | jimfs/src/main/java/com/google/jimfs/internal/JimfsFileSystemProvider.java | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/jimfs/src/main/java/com/google/jimfs/internal/JimfsFileSystem.java b/jimfs/src/main/java/com/google/jimfs/internal/JimfsFileSystem.java index 6fecb91..4071dd2 100644 --- a/jimfs/src/main/java/com/google/jimfs/internal/JimfsFileSystem.java +++ b/jimfs/src/main/java/com/google/jimfs/internal/JimfsFileSystem.java @@ -213,7 +213,7 @@ final class JimfsFileSystem extends FileSystem { try { resourceManager.close(); } finally { - provider.fileSystemClosed(this); + provider.remove(this); } } } diff --git a/jimfs/src/main/java/com/google/jimfs/internal/JimfsFileSystemProvider.java b/jimfs/src/main/java/com/google/jimfs/internal/JimfsFileSystemProvider.java index f339bc2..8ba73dc 100644 --- a/jimfs/src/main/java/com/google/jimfs/internal/JimfsFileSystemProvider.java +++ b/jimfs/src/main/java/com/google/jimfs/internal/JimfsFileSystemProvider.java @@ -132,7 +132,7 @@ public final class JimfsFileSystemProvider extends FileSystemProvider { /** * Called when the given file system is closed to remove it from this provider. */ - void fileSystemClosed(JimfsFileSystem fileSystem) { + void remove(JimfsFileSystem fileSystem) { fileSystems.remove(fileSystem.uri()); } |