Ignore an exception when already closed.

cojen · Aug 29, 2024 · 8ea4f21 · 8ea4f21
1 parent 48ef18b
commit 8ea4f21
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/src/main/java/org/cojen/tupl/core/LockedFile.java b/src/main/java/org/cojen/tupl/core/LockedFile.java
@@ -24,6 +24,7 @@
 import java.io.IOException;
 import java.io.RandomAccessFile;
 
+import java.nio.channels.ClosedChannelException;
 import java.nio.channels.FileLock;
 import java.nio.channels.OverlappingFileLockException;
 
@@ -87,8 +88,13 @@ final class LockedFile implements Closeable {
     @Override
     public void close() throws IOException {
         if (mLock != null) {
-            mLock.close();
+            try {
+                mLock.close();
+            } catch (ClosedChannelException e) {
+                // Ignore.
+            }
         }
+
         if (mRaf != null) {
             mRaf.close();
         }