-
Petr Pudlak authored
We can only send the signal if the job is alive and if there is a process ID in the job file (which means that the signal handler has been installed). If it's missing, we need to wait and retry. In addition, after we send the signal, we wait for the job to actually die, to retain the original semantics. Signed-off-by: Petr Pudlak <pudlak@google.com> Reviewed-by: Klaus Aehlig <aehlig@google.com>
ec98ea2b