bugy#144: removed favicon for finished scripts

agising · Jun 17, 2019 · 3dc3fb9 · 3dc3fb9
1 parent 54a23cd
commit 3dc3fb9
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 3 deletions.
diff --git a/samples/configs/destroy_world.json b/samples/configs/destroy_world.json
@@ -1,5 +1,5 @@
 {
   "script_path": "./samples/scripts/destroy_world.py",
   "description": "This is a very dangerous script, please be careful when running. Don't forget your protective helmet.",
-  "requires_terminal": true
+  "requires_terminal": false
 }
diff --git a/samples/configs/parameterized.json b/samples/configs/parameterized.json
@@ -22,7 +22,8 @@
     {
       "name": "Simple Text",
       "param": "--simple_text",
-      "description": "Parameter Four"
+      "description": "Parameter Four",
+      "required": true
     },
     {
       "name": "Simple List",

diff --git a/web-src/js/index.js b/web-src/js/index.js
@@ -488,7 +488,7 @@ function updateFavicon() {
     if (hasExecuting) {
         setExecutingFavicon();
     } else {
-        setFinishedFavicon();
+        setDefaultFavicon();
     }
 }