Skip to content

fix: ensure wsproxy MultiAgent is closed when websocket dies#11414

Merged
coadler merged 4 commits intomainfrom
colin/fixensurewsproxyMultiAgentisclosedwhenwebsocketdies
Jan 11, 2024

Commits

Commits on Jan 11, 2024