Skip to content

fix(state): graceful worker shutdown when shared-state manager dies - #476

Closed
mrosseel wants to merge 1 commit into
brickbots:mainfrom
mrosseel:fix/graceful-worker-shutdown-shared-state
Closed

fix(state): graceful worker shutdown when shared-state manager dies#476
mrosseel wants to merge 1 commit into
brickbots:mainfrom
mrosseel:fix/graceful-worker-shutdown-shared-state

Commits

Commits on Jun 17, 2026