@@ -138,6 +138,11 @@ public sealed class HostStatusPublisher(
|
||||
HostState.Running => DriverHostState.Running,
|
||||
HostState.Stopped => DriverHostState.Stopped,
|
||||
HostState.Faulted => DriverHostState.Faulted,
|
||||
// PR ablegacy-12 / #255 — Demoted is a driver-side back-off (skipped reads while
|
||||
// we wait for a flaky host to recover). The Configuration enum doesn't have a
|
||||
// dedicated value; surface it as Stopped so the Admin UI lights it up red-ish
|
||||
// without the publisher needing a schema migration to differentiate.
|
||||
HostState.Demoted => DriverHostState.Stopped,
|
||||
_ => DriverHostState.Unknown,
|
||||
};
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user