2022-09-06 15:07:12 +02:00
|
|
|
import { Terminal } from "../../Terminal";
|
2021-09-16 01:50:44 +02:00
|
|
|
import { BaseServer } from "../../Server/BaseServer";
|
|
|
|
import { killWorkerScript } from "../../Netscript/killWorkerScript";
|
|
|
|
|
2022-09-06 15:07:12 +02:00
|
|
|
export function kill(args: (string | number | boolean)[], server: BaseServer): void {
|
2021-09-16 01:50:44 +02:00
|
|
|
try {
|
|
|
|
if (args.length < 1) {
|
2022-09-06 15:07:12 +02:00
|
|
|
Terminal.error("Incorrect usage of kill command. Usage: kill [scriptname] [arg1] [arg2]...");
|
2021-09-16 01:50:44 +02:00
|
|
|
return;
|
|
|
|
}
|
2021-12-03 20:44:32 +01:00
|
|
|
if (typeof args[0] === "boolean") {
|
|
|
|
return;
|
|
|
|
}
|
2021-09-16 01:50:44 +02:00
|
|
|
|
|
|
|
// Kill by PID
|
|
|
|
if (typeof args[0] === "number") {
|
|
|
|
const pid = args[0];
|
|
|
|
const res = killWorkerScript(pid);
|
|
|
|
if (res) {
|
2022-09-06 15:07:12 +02:00
|
|
|
Terminal.print(`Killing script with PID ${pid}`);
|
2021-09-16 01:50:44 +02:00
|
|
|
} else {
|
2022-09-06 15:07:12 +02:00
|
|
|
Terminal.error(`Failed to kill script with PID ${pid}. No such script is running`);
|
2021-09-16 01:50:44 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2022-09-06 15:07:12 +02:00
|
|
|
const scriptName = Terminal.getFilepath(args[0]);
|
2021-09-16 01:50:44 +02:00
|
|
|
const runningScript = server.getRunningScript(scriptName, args.slice(1));
|
|
|
|
if (runningScript == null) {
|
2022-09-06 15:07:12 +02:00
|
|
|
Terminal.error("No such script is running. Nothing to kill");
|
2021-09-16 01:50:44 +02:00
|
|
|
return;
|
|
|
|
}
|
2022-07-20 07:48:54 +02:00
|
|
|
killWorkerScript({ runningScript: runningScript, hostname: server.hostname });
|
2022-09-06 15:07:12 +02:00
|
|
|
Terminal.print(`Killing ${scriptName}`);
|
2021-09-16 01:50:44 +02:00
|
|
|
} catch (e) {
|
2022-09-06 15:07:12 +02:00
|
|
|
Terminal.error(e + "");
|
2021-09-16 01:50:44 +02:00
|
|
|
}
|
|
|
|
}
|