diff options
author | Helmut Grohne <helmut@subdivi.de> | 2019-09-08 11:06:51 +0200 |
---|---|---|
committer | Helmut Grohne <helmut@subdivi.de> | 2019-09-08 11:06:51 +0200 |
commit | 0615c3f1684b01c1fa6fc54fc8c53f7632179fa3 (patch) | |
tree | 1db3a3b89d1ee15e1569dac7e5db2bab0c4b5e82 /.gitignore | |
parent | f93b427b821a0ee9021ea3ddf02894eccb669f2c (diff) | |
download | crossqa-0615c3f1684b01c1fa6fc54fc8c53f7632179fa3.tar.gz |
depcheck: don't litter temporary files on error
When a multiprocessing.Pool is garbage collected or __exit__ed, it
calls the terminate method. In that case, temporary files are not
cleaned up. This happens for example, when an exception is raised in one
of the workers. Thus we close and join the pool explicitly.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions