Function killLinuxProcessTree

common/src/process_tools.ts:143–152

(pid: string | number)

}

function killLinuxProcessTree(pid: string | number) {
  const targetPid = Number(pid);
  const childPids = collectLinuxChildPids(targetPid);

  for (const childPid of childPids) {
    execSync(`kill -s 9 ${childPid}`);
  }

  execSync(`kill -s 9 ${targetPid}`);
}

function collectLinuxChildPids(pid: number): number[] {
  const childPids = listLinuxChildPids(pid);