fn dismiss_failed_worker(
workspace: &Arc<Workspace>,
project_key: &ProjectKey,
label: &str,
entry: Option<&WorkerEntry>,
) -> boolExpand description
Close a failed worker, or one whose failure is all that is left of it: take the tombstone entry when one survives, clear the slot’s failure record, and announce the release so views re-read the row without it.
Not teardown_worker: the persisted row stays, because it is what
lets the label start again once whatever refused the spawn is fixed. The
worker’s subscriptions and schedules stay with it for the same reason.
Answers whether anything was there to dismiss.