Skip to content

Guarantee worker is restarted if Nanny.kill is called#7323

Closed
fjetter wants to merge 5 commits into
dask:mainfrom
fjetter:ensure_nanny_restart_not_kill_worker
Closed

Guarantee worker is restarted if Nanny.kill is called#7323
fjetter wants to merge 5 commits into
dask:mainfrom
fjetter:ensure_nanny_restart_not_kill_worker

Commits

Commits on Dec 1, 2022

Commits on Dec 12, 2022

Commits on Dec 13, 2022