diff options
author | Lars Wirzenius <liw@liw.fi> | 2018-10-20 13:18:48 +0300 |
---|---|---|
committer | Lars Wirzenius <liw@liw.fi> | 2018-10-20 13:18:48 +0300 |
commit | 5ee1bf1de16ad61ae117f27c638c06efba2cb8b9 (patch) | |
tree | d1eb5d876c8d8e1d11ee0279249e8589546a3a45 | |
parent | c3c4af4c05920a9c73eaf464e2462bdbf88d8584 (diff) | |
download | muck-poc-5ee1bf1de16ad61ae117f27c638c06efba2cb8b9.tar.gz |
Fix: close change log file when PersistentStore object dies
-rw-r--r-- | muck/pers.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/muck/pers.py b/muck/pers.py index bf9ec85..7fda509 100644 --- a/muck/pers.py +++ b/muck/pers.py @@ -55,3 +55,6 @@ class ChangeLogWriter: line += '\n' line = line.encode('UTF-8') os.write(self._fd, line) + + def __del__(self): + os.close(self._fd) |