(hash: string)
| 109 | let closed = false; |
| 110 | |
| 111 | const pushReload = (hash: string) => { |
| 112 | const frame = `event: reload\ndata: ${hash}\n\n`; |
| 113 | for (const res of clients) { |
| 114 | try { res.write(frame); } catch { /* dropped client; pruned on its 'close' */ } |
| 115 | } |
| 116 | }; |
| 117 | |
| 118 | const flush = () => { |
| 119 | void renderCurrent(cwd, id, channelPath).then(html => { |