Message 322150 - Python tracker

➜

This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

Content 
Add a __del__ method in the Pool class should work. But I'm not sure we should do this.