diff options
| author | Michał Górny <mgorny@gentoo.org> | 2017-12-02 16:29:08 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2017-12-02 16:29:08 +0100 |
| commit | 1e1a9f6cd1f67a4abacad8ecd49fec45b4e7acf6 (patch) | |
| tree | 496d442ec2c6d117b31fe7e33cbb813d8e702331 | |
| parent | 069a7fc2ae088eee9611ca0df9d855a7c188ac9a (diff) | |
| download | gemato-1e1a9f6cd1f67a4abacad8ecd49fec45b4e7acf6.tar.gz | |
Call Pool.terminate() to ensure that all resources are released
| -rw-r--r-- | gemato/recursiveloader.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gemato/recursiveloader.py b/gemato/recursiveloader.py index df3743c..306c7bd 100644 --- a/gemato/recursiveloader.py +++ b/gemato/recursiveloader.py @@ -327,6 +327,7 @@ class ManifestRecursiveLoader(object): pool.close() pool.join() + pool.terminate() def find_timestamp(self): """ |