Skip to content

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

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

fix: ensure wsproxy `MultiAgent` is closed when websocket dies#11414
coadler merged 4 commits intomainfrom
colin/fixensurewsproxyMultiAgentisclosedwhenwebsocketdies

Commits

Commits on Jan 11, 2024