Skip to content

WebREPL: an abandoned login no longer leaves the board's session slot held - #198

Merged
bdbarnett merged 1 commit into
mainfrom
fix/webrepl-abandoned-login-slot
Oct 30, 2026
Merged

WebREPL: an abandoned login no longer leaves the board's session slot held#198
bdbarnett merged 1 commit into
mainfrom
fix/webrepl-abandoned-login-slot

WebREPL: end an abandoned login cleanly so the board frees its sessio…

ad17d8b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar