RLGWebD
f7f56fedae
Server-side, have gamemux 'end' events include the name and game, so they can be sent to WebSockets connected to /status. This means a WebSocket client only needs to update its choice list when it gets a begin or end message with its own username. So it only needs to check /pstatus/<name> at those times and can stop polling. |
||
|---|---|---|
| about.html | ||
| bell.svg | ||
| index-rlg.html | ||
| index-sh.html | ||
| ptyhelper.c | ||
| rlgterm.js | ||
| rlgwebd.js | ||
| shterm.js | ||
| sqlickrypt.c | ||
| style-rlg.css | ||
| termemu-keys.js | ||
| termemu.js | ||
| tty.css | ||
| webtty.js | ||
