From 7bb042fe71ec1532afb970b727241eaf24c7808d Mon Sep 17 00:00:00 2001
From: Omar Rizwan <omar@omar.website>
Date: Mon, 23 Oct 2023 19:28:27 -0400
Subject: web-editor: Hacks so slower glslc errors propagate to editor in time

---
 virtual-programs/new-program-web-editor.folk | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'virtual-programs/new-program-web-editor.folk')

diff --git a/virtual-programs/new-program-web-editor.folk b/virtual-programs/new-program-web-editor.folk
index a7c176cc..f972cfc7 100644
--- a/virtual-programs/new-program-web-editor.folk
+++ b/virtual-programs/new-program-web-editor.folk
@@ -152,12 +152,14 @@ Wish the web server handles route "/new" with handler {
 	    Assert web claims {${program}} has program code {${code}}
 	    if {$::isLaptop} { Step }
 	  `);
-	  setTimeout(() => {
-	    send(`
+          [500, 1000, 3000].forEach(timeout => {
+	    setTimeout(() => {
+	      send(`
 set errors [Statements::findMatches [list {${program}} has error /err/ with info /errorInfo/]]
 ::websocket::send $chan text [join [list "Error:" {*}[lmap e $errors {dict get $e errorInfo}]] "\n"]
 `);
-	  }, 500);
+	    }, timeout);
+          });
 	}
 	let jobid;
 	function handlePrint() {
-- 
cgit v1.2.3