Skip to content

Conversation

bolinfest
Copy link
Collaborator

@bolinfest bolinfest commented Aug 25, 2025

The SessionManager in exec_command owns a number of ExecCommandSession objects where ExecCommandSession has a non-trivial implementation of Drop, so we want to be able to drop an individual SessionManager to help ensure things get cleaned up in a timely fashion. To that end, we should have one SessionManager per session rather than one global one for the lifetime of the CLI process.

@bolinfest bolinfest merged commit 295ca27 into main Aug 25, 2025
15 checks passed
@bolinfest bolinfest deleted the pr2664 branch August 25, 2025 05:52
@github-actions github-actions bot locked and limited conversation to collaborators Aug 25, 2025
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.

3 participants