fix(server): deregister terminated streamable HTTP sessions - #3302
fix(server): deregister terminated streamable HTTP sessions#3302mikemikimike wants to merge 4 commits into
Conversation
There was a problem hiding this comment.
All reported issues were addressed across 2 files
Reply with feedback, questions, or to request a fix.
Re-trigger cubic
There was a problem hiding this comment.
All reported issues were addressed across 1 file (changes from recent commits).
Reply with feedback, questions, or to request a fix.
Re-trigger cubic
|
Thanks for the contribution. This repository only keeps pull requests open when they're linked to an issue that a maintainer has assigned to the author — CONTRIBUTING.md explains why and how we work. This PR has been closed for now because you aren't currently assigned to #3300. If a maintainer would like this change as a PR from you, they'll assign you to #3300 and this PR will reopen automatically — there's nothing more you need to do. (If you opened the issue, this PR already shows up on its timeline.) There's no need to open a new PR — this one will be reopened. While it's closed, please push any updates as new commits rather than force-pushing, since GitHub can't reopen a PR whose branch has been rewritten. Maintainers: reopening this PR, removing the |
Summary
Fixes #3300
Validation
uv run --frozen ruff format ...uv run --frozen ruff check src/mcp/server/streamable_http_manager.py tests/server/test_streamable_http_manager.pyuv run --frozen pyright src/mcp/server/streamable_http_manager.py tests/server/test_streamable_http_manager.pyuv run --frozen pytest tests/server/test_streamable_http_manager.py -q(31 passed)git diff --check