Skip to content

DEV: make pool terminate on exit

Colm Talbotrequested to merge
hard-close-pool into master

Currently, closing the pool on keyboard interrupt can be very slow for long likelihood evaluation times which can cause problems with checkpointing on some clusters.

Merge request reports