finish_workers is always called when the pool is GC'd, and is also called when you do .zip_in_out(). I'll add a comment.