Fix removing worker will make it healthy forever in prometheus metrics (#14420)

2025-12-05 10:40:42 -08:00
parent 16e8463a90
commit e73173b0d7
1 changed files with 3 additions and 0 deletions
@@ -150,6 +150,9 @@ impl WorkerRegistry {
                conn_workers.retain(|id| id != worker_id);
            }
            // TODO we may even remove it from Prometheus exports
            worker.set_healthy(false);
            Some(worker)
        } else {
            None