supervising/supervisor:
supervising/supervisor:

Revoke and terminate running tasks during the cleanup phase if a job
fails or is aborted.


Former-commit-id: 67532933e48e77e1dd99f676c1edcaed4baee0b9 [formerly cf0dfded89bd3dad3d021ba9b6f573fd71da70ad]
Former-commit-id: 0432e7c2fd3289de6cc58e38702585dc7e56d63f
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine