v0.47.2

2026-04-29 12:27:07 +02:00 · 2019-07-15 21:40:13 -07:00
parent 916ef06913
commit 59cf1d5baf
11 changed files with 220 additions and 75103 deletions
@@ -707,6 +707,11 @@ let Terminal = {
    },

 	executeCommand : function(command) {
+        if (Terminal.hackFlag || Terminal.analyzeFlag) {
+            postError(`Cannot execute command (${command}) while an action is in progress`);
+            return;
+        }
+
        // Process any aliases
        command = substituteAliases(command);