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 { findRunningScript } from "../../Script/ScriptHelpers";
|
2021-09-24 22:34:21 +02:00
|
|
|
import { isScriptFilename } from "../../Script/isScriptFilename";
|
2021-09-16 01:50:44 +02:00
|
|
|
|
|
|
|
export function check(
|
|
|
|
terminal: ITerminal,
|
2021-09-17 08:58:02 +02:00
|
|
|
router: IRouter,
|
2021-09-16 01:50:44 +02:00
|
|
|
player: IPlayer,
|
|
|
|
server: BaseServer,
|
2021-12-03 20:44:32 +01:00
|
|
|
args: (string | number | boolean)[],
|
2021-09-16 01:50:44 +02:00
|
|
|
): void {
|
|
|
|
if (args.length < 1) {
|
|
|
|
terminal.error("Incorrect number of arguments. Usage: check [script] [arg1] [arg2]...");
|
|
|
|
} else {
|
|
|
|
const scriptName = terminal.getFilepath(args[0] + "");
|
|
|
|
// Can only tail script files
|
|
|
|
if (!isScriptFilename(scriptName)) {
|
|
|
|
terminal.error("tail can only be called on .script files (filename must end with .script)");
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Check that the script exists on this machine
|
|
|
|
const runningScript = findRunningScript(scriptName, args.slice(1), server);
|
|
|
|
if (runningScript == null) {
|
|
|
|
terminal.error("No such script exists");
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
runningScript.displayLog();
|
|
|
|
}
|
|
|
|
}
|