Régis Behmo 0565781c15 wip: attempt to replace websockets by SSE ...

Websockets were unnecessary, as we only need 1-way communication.
Instead, we switched to server-sent events. But there are a couple of
problems:

1. We still can't stop the server while a websocket connection is open
2. SSE make it difficult to format messages

So this is not a big win for now...

2024-12-18 12:29:19 +01:00

..

index.html

wip: attempt to replace websockets by SSE

2024-12-18 12:29:19 +01:00

plugin.html

🌅

2024-11-20 10:38:12 +01:00

tutor_cli_logs.html

wip: attempt to replace websockets by SSE

2024-12-18 12:29:19 +01:00