From 8ea4f21c3f76e0ccb5254ef229f1fa09ea5377dd Mon Sep 17 00:00:00 2001
From: "Brian S. O'Neill" <bronee@gmail.com>
Date: Wed, 28 Aug 2024 21:44:20 -0700
Subject: [PATCH] Ignore an exception when already closed.

---
 src/main/java/org/cojen/tupl/core/LockedFile.java | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/src/main/java/org/cojen/tupl/core/LockedFile.java b/src/main/java/org/cojen/tupl/core/LockedFile.java
index 376193664..fec5cdfa1 100644
--- 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();
         }