Skip to content

docs(todo): 1a measured (not a bug), 1b fixed (#97) - #98

Merged
EdmondDantes merged 1 commit into
mainfrom
docs/todo-1a-measured-1b-fixed
Jul 27, 2026
Merged

docs(todo): 1a measured (not a bug), 1b fixed (#97)#98
EdmondDantes merged 1 commit into
mainfrom
docs/todo-1a-measured-1b-fixed

Conversation

@EdmondDantes

Copy link
Copy Markdown
Contributor

What

Records two resolutions in dev/TODO.md item 1.

  • 1a — the one genuinely-open question (does setReadTimeout(15) kill an idle WS connection at 15s, before the 30s ping?) is now measured: against a running server, an idle no-inbound WS connection got its keepalive PING at t≈29.7s and stayed open past 75s — no teardown at 15s. So the read timeout does not apply to a WebSocket after the upgrade, and the extension's own ping keeps an idle connection alive. Not a bug; nothing to fix.
  • 1b — marked FIXED (fix(server): a WS board subscriber bootstraps the current board #97). The board-bootstrap defect is closed; what remains is the ordering half (a board message has no seq to de-dupe by), which is 1d's per-message cursor, not more bootstrap.

Doc-only. No code change.

1a: an idle WS connection is NOT torn down at 15s — measured against a running server, the keepalive PING arrives at ~30s and the connection stays open past 75s, so setReadTimeout(15) does not apply after the upgrade. 1b: the board-bootstrap defect is fixed; what remains is the ordering half, which is 1d's per-message cursor.
@EdmondDantes
EdmondDantes merged commit fe85338 into main Jul 27, 2026
2 checks passed
@EdmondDantes
EdmondDantes deleted the docs/todo-1a-measured-1b-fixed branch July 27, 2026 20:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant