/// Kills a child process. We use `killpg` instead of `kill` when the child
/// set its process group id to its own pid.
Kills a child process. We use `killpg` instead of `kill` when the child
set its process group id to its own pid.
Kills a child process . We use ` killpg ` instead of ` kill ` when the child set its process group id to its own pid .
fn signal_pid(logger: &Logger, s: Signal, pid: &Pid) {
    // Try to kill the process but does /NOT/ panic if something goes wrong,
    // we must continue to clean up.
    debug!(logger, "Sending {} to {}", s, *pid);
    if let Err(_e) = kill(*pid, s) {
        warn!(logger, "Couldn't send {} to {}", s, *pid);
    }
}
fn signal_pid ( logger : & Logger , s : Signal , pid : & Pid ) { // Try to kill the process but does /NOT/ panic if something goes wrong, // we must continue to clean up. debug ! ( logger " " s pid ) ; if let Err ( _e ) = kill ( * pid , s ) { warn ! ( logger " " s pid ) ; } }
Kills a child process.
Kills a child process .
logger
&Logger
s
Signal
pid
&Pid