Fix in the workerpool [skip CI]
Fix in the workerpool [skip CI]


Former-commit-id: ff5f4c373cfdc453d21b86b5560a642a2529c063 [formerly 8136690226b11bf58fcdd6f4d023afbea07e4062]
Former-commit-id: d867d086cfbc0668291db1175aa4796320446701
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine