Details
-
Improvement
-
Status: Closed
-
Minor
-
Resolution: Duplicate
-
None
-
None
-
None
Description
DeadServer uses a Set to store ServerName's of dead servers.
On master UI, it would help admin observe when each dead server was detected.
Normally newly dead server(s) would reveal more about recent cluster health.