merge dev

src/Script/Script.ts

@@ -56,7 +56,7 @@ export class Script {
    * Download the script as a file
    */
   download(): void {
-    const filename = this.filename + ".js";
+    const filename = this.filename;
     const file = new Blob([this.code], { type: "text/plain" });
     const navigator = window.navigator as any;
     if (navigator.msSaveOrOpenBlob) {

src/Script/ScriptHelpers.ts

@@ -87,7 +87,7 @@ export function scriptCalculateOfflineProduction(runningScript: RunningScript):
 //designated server, and false otherwise
 export function findRunningScript(
   filename: string,
-  args: (string | number)[],
+  args: (string | number | boolean)[],
   server: BaseServer,
 ): RunningScript | null {
   for (let i = 0; i < server.runningScripts.length; ++i) {