2021-10-23 22:04:00 +02:00
|
|
|
import { RunningScript } from "src/Script/RunningScript";
|
2022-01-19 08:04:48 +01:00
|
|
|
import { Settings } from "../Settings/Settings";
|
2021-10-23 22:04:00 +02:00
|
|
|
import { WorkerScript } from "./WorkerScript";
|
|
|
|
|
|
|
|
export const recentScripts: RecentScript[] = [];
|
|
|
|
|
|
|
|
export function AddRecentScript(workerScript: WorkerScript): void {
|
2022-04-12 20:45:48 +02:00
|
|
|
if (recentScripts.find((r) => r.runningScript.pid === workerScript.pid)) return;
|
2022-01-19 08:04:48 +01:00
|
|
|
|
|
|
|
const killedTime = new Date();
|
2021-11-27 00:54:06 +01:00
|
|
|
recentScripts.unshift({
|
2022-04-12 20:45:48 +02:00
|
|
|
timeOfDeath: killedTime,
|
2021-10-23 22:04:00 +02:00
|
|
|
runningScript: workerScript.scriptRef,
|
|
|
|
});
|
2022-01-19 08:04:48 +01:00
|
|
|
|
|
|
|
while (recentScripts.length > Settings.MaxRecentScriptsCapacity) {
|
2021-10-23 22:04:00 +02:00
|
|
|
recentScripts.pop();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
export interface RecentScript {
|
2022-04-12 20:45:48 +02:00
|
|
|
timeOfDeath: Date;
|
2021-10-23 22:04:00 +02:00
|
|
|
runningScript: RunningScript;
|
|
|
|
}
|