(child: ChildProcessWithoutNullStreams)
| 200 | } |
| 201 | |
| 202 | function killProcess(child: ChildProcessWithoutNullStreams): void { |
| 203 | tryKillProcess(child, 'SIGTERM'); |
| 204 | const killTimer = setTimeout(() => { |
| 205 | tryKillProcess(child, 'SIGKILL'); |
| 206 | }, KILL_GRACE_MS); |
| 207 | killTimer.unref(); |
| 208 | } |
| 209 | |
| 210 | function tryKillProcess(child: ChildProcessWithoutNullStreams, signal: NodeJS.Signals): void { |
| 211 | if (process.platform === 'win32') { |
no test coverage detected