NETSCRIPT: Log script kill immediately and identify the killing script. (#1907)

This commit is contained in:
Yichi Zhang
2025-01-12 21:07:01 -08:00
committed by GitHub
parent 0e8dca85e1
commit e6a1c344d3
3 changed files with 7 additions and 6 deletions

View File

@@ -23,9 +23,10 @@ export function killWorkerScript(ws: WorkerScript): boolean {
return true;
}
export function killWorkerScriptByPid(pid: number): boolean {
export function killWorkerScriptByPid(pid: number, killer?: WorkerScript): boolean {
const ws = workerScripts.get(pid);
if (ws instanceof WorkerScript) {
ws.log("", () => (killer ? `Script killed by script ${killer.name} with PID ${killer.pid}` : "Script killed."));
stopAndCleanUpWorkerScript(ws);
return true;
}