(targetPid: number | undefined, logger: RazorLogger)
| 15 | }; |
| 16 | |
| 17 | const killProcess = (targetPid: number | undefined, logger: RazorLogger) => { |
| 18 | // If no PID was provided, then exit early. |
| 19 | if (!targetPid) { |
| 20 | return; |
| 21 | } |
| 22 | |
| 23 | try { |
| 24 | logger.logTrace(`[DEBUGGER] Terminating debugging session with PID ${targetPid}...`); |
| 25 | process.kill(targetPid); |
| 26 | } catch (error) { |
| 27 | logger.logError(`[DEBUGGER] Error terminating debug processes with PID ${targetPid}: `, error as Error); |
| 28 | } |
| 29 | }; |
| 30 | |
| 31 | export async function onDidTerminateDebugSession( |
| 32 | event: DebugSession, |
no test coverage detected