diff --git a/client/public/runner.html b/client/public/runner.html index 30322ac5ebe9..3fd40539d930 100644 --- a/client/public/runner.html +++ b/client/public/runner.html @@ -103,7 +103,11 @@ } } + let initialized = false; function init(state) { + if (initialized) { + return; + } window.parent.postMessage({ typ: "console", prop: "clear" }, "*"); const style = document.createElement("style"); @@ -118,6 +122,7 @@ document.body.appendChild(script); dispatchEvent(new Event("load")); + initialized = true; } window.addEventListener("message", (event) => { const e = event.data;