Function stopPids

src/ops/lifecycle.js:539–569

(pids, options)

}

function stopPids(pids, options) {
    var targets = Array.from(new Set(pids || [])).map(function(pid) {
        return parseInt(pid, 10);
    }).filter(Number.isFinite);
    for (var i = 0; i < targets.length; i++) {
        console.log('[Lifecycle] Stopping PID ' + targets[i] + '...');
        try { process.kill(targets[i], 'SIGTERM'); } catch (e) {}
    }
    var attempts = 0;
    while (targets.some(isPidRunning) && attempts < 10) {
        sleepMs(500);
        attempts++;
    }
    var remaining = targets.filter(isPidRunning);
    for (var j = 0; j < remaining.length; j++) {
        console.log('[Lifecycle] Force-killing PID ' + remaining[j]);
        if (process.platform === 'win32') {
            try { execFileSync('taskkill', ['/F', '/PID', String(remaining[j])], { stdio: 'ignore', windowsHide: true }); } catch (e) {}
        } else {
            try { process.kill(remaining[j], 'SIGKILL'); } catch (e) {}
        }
    }
    if (options && options.unlinkPidFile) {
        try { if (fs.existsSync(PID_FILE)) fs.unlinkSync(PID_FILE); } catch (_) {}
    }
    if (options && options.unlinkLock) {
        var evolverLock = path.join(getRepoRoot(), 'evolver.pid');
        try { if (fs.existsSync(evolverLock)) fs.unlinkSync(evolverLock); } catch (_) {}
    }
    return { status: 'stopped', killed: targets };
}

// --- Lifecycle ---