-
Matthieu Muffato authored
The problem was when a worker is contaminated and has to die: remainings jobs of the batch were not released. We now have an explicit list of all the cause_of_death that could happen through a batch, and for which we should free the jobs
d9f1b05b