serverManager.deadServers

[Ted Yu]

Hi,
After I shutdown a region server, it is not among the dead servers returned
by stargate.
getClusterStatus() returns serverManager.deadServers

I am wondering under what scenario a region server is added to
serverManager.deadServers

Thanks