Skip to content

DEV: make pool terminate on exit

Colm Talbot requested 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