(pid: number)
| 9 | ]; |
| 10 | |
| 11 | export function isProcessAlive(pid: number): boolean { |
| 12 | if (!Number.isInteger(pid) || pid <= 0) return false; |
| 13 | try { |
| 14 | process.kill(pid, 0); |
| 15 | return true; |
| 16 | } catch (err) { |
| 17 | return (err as NodeJS.ErrnoException).code === 'EPERM'; |
| 18 | } |
| 19 | } |
| 20 | |
| 21 | export function isProcessGroupAlive(pid: number): boolean { |
| 22 | if (!Number.isInteger(pid) || pid <= 0) return false; |