-
Klaus Aehlig authored
Once we sent a sigKILL to a process there is a high chance that it actually died. So this is a good point in time to verify death and clean up the job queue. Signed-off-by: Klaus Aehlig <aehlig@google.com> Reviewed-by: Petr Pudlak <pudlak@google.com>
5e67cc2c