(
command: ChildProcess.StandardCommand,
proc: NodeChildProcess.ChildProcess,
signal: NodeJS.Signals,
)
| 290 | }) |
| 291 | |
| 292 | const killGroup = ( |
| 293 | command: ChildProcess.StandardCommand, |
| 294 | proc: NodeChildProcess.ChildProcess, |
| 295 | signal: NodeJS.Signals, |
| 296 | ) => { |
| 297 | if (globalThis.process.platform === "win32") { |
| 298 | return Effect.callback<void, PlatformError.PlatformError>((resume) => { |
| 299 | NodeChildProcess.exec(`taskkill /pid ${proc.pid} /T /F`, { windowsHide: true }, (err) => { |
| 300 | if (err) return resume(Effect.fail(toPlatformError("kill", toError(err), command))) |
| 301 | resume(Effect.void) |
| 302 | }) |
| 303 | }) |
| 304 | } |
| 305 | |
| 306 | return Effect.try({ |
| 307 | try: () => { |
| 308 | globalThis.process.kill(-proc.pid!, signal) |
| 309 | }, |
| 310 | catch: (err) => toPlatformError("kill", toError(err), command), |
| 311 | }) |
| 312 | } |
| 313 | |
| 314 | const killOne = ( |
| 315 | command: ChildProcess.StandardCommand, |
no test coverage detected