Make sure WorkManager.pool is closed at exit

multiprocessing.Pool objects must be explicitly closed before exiting the application.

See lhcb/Alignment!199 (merged) and, for example, https://github.com/dask/dask/issues/5806.

changed milestone to %v36r3

added lhcb-gaudi-head lhcb-run2-patches labels

assigned to @clemenci

mentioned in merge request lhcb/Alignment!199 (merged)

• [2021-12-01 00:04] Validation started with lhcb-gaudi-head#3107
• [2021-12-01 00:38] Validation started with lhcb-run2-gaudi-head#242
• [2021-12-02 00:06] Validation started with lhcb-gaudi-head#3108
• [2021-12-02 00:45] Validation started with lhcb-run2-gaudi-head#243
• [2021-12-03 00:04] Validation started with lhcb-gaudi-head#3109
• [2021-12-03 00:34] Validation started with lhcb-run2-gaudi-head#244
• [2021-12-04 00:04] Validation started with lhcb-gaudi-head#3110
• [2021-12-04 00:32] Validation started with lhcb-run2-gaudi-head#245
• [2021-12-07 00:03] Validation started with lhcb-gaudi-head#3111
• [2021-12-07 00:25] Validation started with lhcb-run2-gaudi-head#246
• [2021-12-08 00:03] Validation started with lhcb-gaudi-head#3112
• [2021-12-08 00:35] Validation started with lhcb-run2-gaudi-head#247
• [2021-12-09 00:05] Validation started with lhcb-gaudi-head#3113
• [2021-12-09 00:51] Validation started with lhcb-run2-gaudi-head#248

approved this merge request

mentioned in commit 665950d0

merged