merge dev

This commit is contained in:
Olivier Gagnon
2021-10-15 21:39:53 -04:00
14 changed files with 104 additions and 40 deletions
+5
View File
@@ -647,6 +647,11 @@ export function runScriptFromScript(
return 0;
}
args = args.map((arg) => {
if (typeof arg === "number") return arg;
return arg + ""; // force cast to string
});
// Check if the script is already running
const runningScriptObj = server.getRunningScript(scriptname, args);
if (runningScriptObj != null) {