Close data files after reading
authorJeremy Stanley <fungi@yuggoth.org>
Sun, 15 Aug 2021 15:10:18 +0000 (15:10 +0000)
committerJeremy Stanley <fungi@yuggoth.org>
Sun, 15 Aug 2021 15:58:24 +0000 (15:58 +0000)
commitcc12b30f1d2a6b0007e39e16fdc3952165a2a730
tree033a8f2a4cb2dcae6f02b91825bf14d6f711b3aa
parentfc0dc82cf08096e42d9a0d82b9a80fe9ff8d2b73
Close data files after reading

Starting with Python 3.8, the interpreter raises a ResourceWarning
exception during garbage collection if it finds an unclosed file
descriptor. Because of where this exception gets raised, it's
ignored (but a warning is emitted on stderr).

Use a typical context block in our loop to load data files, so that
this condition won't occur.
mudpy/data.py