Skip to content

Prune expired in-memory message board registry entries - #47952

Merged
copyberry[bot] merged 1 commit into
mainfrom
copyberry/codex-internal-to-codex-oss/c3f1c27b42ee17915f0ece01b85a22d0fdf632ce
Sep 24, 2026
Merged

copyberry[bot] merged 1 commit into
mainfrom
copyberry/codex-internal-to-codex-oss/c3f1c27b42ee17915f0ece01b85a22d0fdf632ce

Conversation

@copyberry

@copyberry copyberry Bot commented Sep 24, 2026 •

Copy link
Copy Markdown

Prune expired in-memory message board registry entries

Why

Dropping the last board handle releases its state but leaves a stale entry in
InMemoryMessageBoards, allowing registry entries to accumulate across sessions.

What changed

Prune entries whose state has no remaining strong references whenever a board is
opened, while preserving shared state for live boards.

Testing

Add a regression test that repeatedly opens and drops boards, checks that expired
entries are removed, and verifies that reopening a live board shares its state.

## Why

Dropping the last board handle releases its state but leaves a stale entry in
`InMemoryMessageBoards`, allowing registry entries to accumulate across sessions.

## What changed

Prune entries whose state has no remaining strong references whenever a board is
opened, while preserving shared state for live boards.

## Testing

Add a regression test that repeatedly opens and drops boards, checks that expired
entries are removed, and verifies that reopening a live board shares its state.

GitOrigin-RevId: c3f1c27b42ee17915f0ece01b85a22d0fdf632ce
@copyberry
copyberry Bot force-pushed the copyberry/codex-internal-to-codex-oss/c3f1c27b42ee17915f0ece01b85a22d0fdf632ce branch from 4926815 to 9442a17 Compare September 24, 2026 22:34
@copyberry
copyberry Bot merged commit 9442a17 into main Sep 24, 2026
1 check passed
@copyberry
copyberry Bot deleted the copyberry/codex-internal-to-codex-oss/c3f1c27b42ee17915f0ece01b85a22d0fdf632ce branch September 24, 2026 22:34
@github-actions github-actions Bot locked and limited conversation to collaborators Sep 24, 2026

This branch was successfully deployed

1 active deployment
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants