2021-09-16 01:50:44 +02:00
|
|
|
import { ITerminal } from "../ITerminal";
|
2021-09-17 08:58:02 +02:00
|
|
|
import { IRouter } from "../../ui/Router";
|
2021-09-16 01:50:44 +02:00
|
|
|
import { IPlayer } from "../../PersonObjects/IPlayer";
|
|
|
|
import { BaseServer } from "../../Server/BaseServer";
|
|
|
|
import { killWorkerScript } from "../../Netscript/killWorkerScript";
|
|
|
|
|
|
|
|
export function kill(
|
|
|
|
terminal: ITerminal,
|
2021-09-17 08:58:02 +02:00
|
|
|
router: IRouter,
|
2021-09-16 01:50:44 +02:00
|
|
|
player: IPlayer,
|
|
|
|
server: BaseServer,
|
|
|
|
args: (string | number)[],
|
|
|
|
): void {
|
|
|
|
try {
|
|
|
|
if (args.length < 1) {
|
|
|
|
terminal.error("Incorrect usage of kill command. Usage: kill [scriptname] [arg1] [arg2]...");
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Kill by PID
|
|
|
|
if (typeof args[0] === "number") {
|
|
|
|
const pid = args[0];
|
|
|
|
const res = killWorkerScript(pid);
|
|
|
|
if (res) {
|
|
|
|
terminal.print(`Killing script with PID ${pid}`);
|
|
|
|
} else {
|
2021-10-27 02:26:05 +02:00
|
|
|
terminal.error(`Failed to kill script with PID ${pid}. No such script exists`);
|
2021-09-16 01:50:44 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
const scriptName = terminal.getFilepath(args[0]);
|
|
|
|
const runningScript = server.getRunningScript(scriptName, args.slice(1));
|
|
|
|
if (runningScript == null) {
|
|
|
|
terminal.error("No such script is running. Nothing to kill");
|
|
|
|
return;
|
|
|
|
}
|
2021-10-07 23:55:49 +02:00
|
|
|
killWorkerScript(runningScript, server.hostname, false);
|
2021-09-16 01:50:44 +02:00
|
|
|
terminal.print(`Killing ${scriptName}`);
|
|
|
|
} catch (e) {
|
|
|
|
terminal.error(e + "");
|
|
|
|
}
|
|
|
|
}
|