Killing jobs when using futures [skip CI]
Killing jobs when using futures [skip CI]


Former-commit-id: 7ea49576d4111cc0d37b0403c87394ba0950b5e2 [formerly 7ea49576d4111cc0d37b0403c87394ba0950b5e2 [formerly a8dbe285277bdb0b2b6c268f334502c54c5cf0d0]]
Former-commit-id: 118a1af9722b29a3c41048d104249c91b467069a
Former-commit-id: 9357963873dca79a892a556ee0233ea51ffdfa9b
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine