1 files changed, 5 insertions, 4 deletions
diff --git a/virtual-programs/web-editor.folk b/virtual-programs/web-editor.folk
index 245b6043..fb899560 100644
--- a/virtual-programs/web-editor.folk
+++ b/virtual-programs/web-editor.folk
@@ -96,13 +96,14 @@ Wish the web server handles route {/page/(.*)$} with handler {
                 send(`EditVirtualProgram file_name {${code}}`)
             }
 
-
-            setTimeout(() => {
-              send(`
+            [500, 1000, 3000].forEach(timeout => {
+              setTimeout(() => {
+                send(`
 set errors [Statements::findMatches [list program_id has error /err/ with info /errorInfo/]]
 ::websocket::send $chan text [join [list "Error:" {*}[lmap e $errors {dict get $e errorInfo}]] "\n"]
 `);
-            }, 500);
+              }, 500);
+            });
           }
 
           let jobid;