n9k
4eaf9b56f7
Might not be necessary, but if it is then it prevents a sitation where a websocket is still open but we've forgotten about it, so we will never broadcast any new messages to it and the client will be practically frozen in time until they disconnect and open a new websocket. Also update the user's last_seen when the websocket is closed. This prevents a user with js enabled who's actually idle being considered absent and being rotated when their websocket accidentally closes for a few seconds. |
||
---|---|---|
.. | ||
__init__.py | ||
core.py | ||
nojs.py | ||
websocket.py | ||
wrappers.py |