diff options
| -rw-r--r-- | Mailman/LockFile.py | 3 | ||||
| -rw-r--r-- | Mailman/flock.py | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/Mailman/LockFile.py b/Mailman/LockFile.py index d1fb9504a..e8f44675b 100644 --- a/Mailman/LockFile.py +++ b/Mailman/LockFile.py @@ -51,7 +51,8 @@ class FileLock: self.__kickstart() def __del__(self): - self.unlock() + if self.locked(): + self.unlock() def __kickstart(self, force=0): # forcing means to remove the original lockfile, and create a new one. diff --git a/Mailman/flock.py b/Mailman/flock.py index d1fb9504a..e8f44675b 100644 --- a/Mailman/flock.py +++ b/Mailman/flock.py @@ -51,7 +51,8 @@ class FileLock: self.__kickstart() def __del__(self): - self.unlock() + if self.locked(): + self.unlock() def __kickstart(self, force=0): # forcing means to remove the original lockfile, and create a new one. |