markUpdated() for Script

src/Script/Script.ts

@@ -68,6 +68,14 @@ export class Script {
         }
     }
 
+    /**
+     * Marks this script as having been updated. It will be recompiled next time something tries
+     * to exec it.
+     */
+    markUpdated() {
+        this.module = "";
+    }
+
     /**
      * Save a script from the script editor
      * @param {string} code - The new contents of the script
@@ -86,7 +94,7 @@ export class Script {
     		this.filename = filenameElem!.value;
     		this.server = serverIp;
     		this.updateRamUsage(otherScripts);
-            this.module = "";
+            this.markUpdated();
     	}
     }