diff options
| author | Andrés Cuervo <andrescuervor@gmail.com> | 2023-07-06 18:36:54 +0000 |
|---|---|---|
| committer | Andrés Cuervo <andrescuervor@gmail.com> | 2023-07-06 18:36:54 +0000 |
| commit | c76f4d0876a4bc356d3b7d0242aee04431aafebf (patch) | |
| tree | f0c09507ee9b98a22cf7616def3371acafd5b270 /virtual-programs/new-program-web-editor.folk | |
| parent | WIP: libdrm rendering. standalone pi/Display.tcl works but not Folk (diff) | |
| parent | Bring back WS send-back? It makes it faster?? (diff) | |
| download | folk-c76f4d0876a4bc356d3b7d0242aee04431aafebf.tar.gz folk-c76f4d0876a4bc356d3b7d0242aee04431aafebf.zip | |
Merge & fix text call
Diffstat (limited to 'virtual-programs/new-program-web-editor.folk')
| -rw-r--r-- | virtual-programs/new-program-web-editor.folk | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/virtual-programs/new-program-web-editor.folk b/virtual-programs/new-program-web-editor.folk index 692b00e0..5797365b 100644 --- a/virtual-programs/new-program-web-editor.folk +++ b/virtual-programs/new-program-web-editor.folk @@ -113,9 +113,9 @@ Wish the web server handles route "/new" with handler { ws.close(); } ws.onmessage = (msg) => { - if (msg.data.startsWith("ERROR:")) { + if (msg.data.startsWith("Error:")) { const errorEl = document.getElementById("error"); - if (msg.data == "ERROR: {}") { + if (msg.data === "Error:") { errorEl.style.backgroundColor = ""; errorEl.innerText = ""; } else { @@ -153,7 +153,10 @@ Wish the web server handles route "/new" with handler { if {$::isLaptop} { Step } `); setTimeout(() => { - send(`list ERROR: [Statements::findMatches [list {${program}} has error /err/ with info /errorInfo/]]`); + send(` +set errors [Statements::findMatches [list {${program}} has error /err/ with info /errorInfo/]] +join [list "Error:" {*}[lmap e $errors {dict get $e errorInfo}]] "\n" +`); }, 500); } let jobid; |