From 4643b3c0b38ea004e5801f47e729a8fba207fd87 Mon Sep 17 00:00:00 2001 From: MobiDev Date: Sat, 27 Nov 2021 14:52:50 +0000 Subject: [PATCH] fix repl.js 404 --- docs/_includes/repl.html | 2 +- docs/assets/js/repl.js | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/_includes/repl.html b/docs/_includes/repl.html index 80750b43..5865fe34 100644 --- a/docs/_includes/repl.html +++ b/docs/_includes/repl.html @@ -43,4 +43,4 @@ - \ No newline at end of file + \ No newline at end of file diff --git a/docs/assets/js/repl.js b/docs/assets/js/repl.js index 94c431a6..27b22e62 100644 --- a/docs/assets/js/repl.js +++ b/docs/assets/js/repl.js @@ -217,7 +217,7 @@ function clearOutput() { document.getElementById("output").value = ""; } -executeScript = function() { +function executeScript() { if (editor) { var err = Module.ccall('executeScript', 'string', ['string'], [editor.getValue()]); if (err) {