Make run always accept a parameter.

01mf02 · Mar 14, 2024 · 5a74f5a · 5a74f5a
1 parent a93b8a5
commit 5a74f5a
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/koweb/js/kocheck.js b/koweb/js/kocheck.js
@@ -45,14 +45,13 @@ function fetch_then(url, f) {
     });
 }
 
-async function run(program = undefined) {
+async function run(program) {
     remove_all_errors_dom();
     remove_all_outputs_dom();
 
-    let text = program ?? document.getElementById('editor').value;
     let eta = document.getElementById("eta").checked;
     let omit = document.getElementById("omit").value;
-    check_single(text, eta, omit);
+    check_single(program, eta, omit);
 }
 
 document.getElementById("load_url").onclick = () => {
@@ -62,7 +61,7 @@ document.getElementById("load_url").onclick = () => {
 };
 
 document.getElementById("run").onclick = async () => {
-    await run();
+    await run(document.getElementById('editor').value);
 };
 
 document.getElementById("run_multiple").onclick = async () => {