diff options
| author | Andrés Cuervo <andrescuervor@gmail.com> | 2023-10-27 16:50:16 +0000 |
|---|---|---|
| committer | Andrés Cuervo <andrescuervor@gmail.com> | 2023-10-27 16:50:16 +0000 |
| commit | ccbcc1e7bf7dbf3fb118a4a06371fe4d0f2147ff (patch) | |
| tree | 9980a884f927312bf6e64a28f3066fb1dd146ce6 /virtual-programs/web-editor.folk | |
| parent | Remove extraneous debug info (diff) | |
| parent | outline: Slight optimization (diff) | |
| download | folk-ccbcc1e7bf7dbf3fb118a4a06371fe4d0f2147ff.tar.gz folk-ccbcc1e7bf7dbf3fb118a4a06371fe4d0f2147ff.zip | |
Merge branch 'main' into ac/editor
Diffstat (limited to 'virtual-programs/web-editor.folk')
| -rw-r--r-- | virtual-programs/web-editor.folk | 9 |
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; |