Function terminate_process_group

packages/server/src/main.rs:1775–1777

(pid: u32, timeout: Duration)

}

fn terminate_process_group(pid: u32, timeout: Duration) {
    terminate_process_group_with_kill_timeout(pid, timeout, Duration::from_secs(2));
}

fn terminate_process_group_with_kill_timeout(pid: u32, timeout: Duration, kill_timeout: Duration) {
    signal_process_group(pid, "TERM");