Websocket tidiness#161

Merged

ewdurbin merged 2 commits into

mainfrom

websocket-tidiness

Feb 26, 2026

Commits on Feb 26, 2026

drop db session before dropping to websockets
ewdurbin
committed
add a keep-alive ping/heartbeat to the sockets we host, as well as the sockets we connect to
ewdurbin
committed