Repository navigation

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

Commits on Oct 30, 2026
- WebREPL: end an abandoned login cleanly so the board frees its session slot; scale the login wait with the link; name a held slot
  bdbarnett
  committed
  ad17d8b