Merge pull request #7020 from sfc-gh-ajbeamon/fix-dd-team-removal-health

Mark a team as unhealthy when it is removed
This commit is contained in:
A.J. Beamon 2022-05-02 08:45:55 -07:00 committed by GitHub
commit 75fc526697
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 1 deletions

View File

@ -4762,6 +4762,7 @@ bool DDTeamCollection::removeTeam(Reference<TCTeamInfo> team) {
ASSERT_WE_THINK(foundInMachineTeam);
team->tracker.cancel();
team->setHealthy(false);
if (g_network->isSimulated()) {
// Update server team information for consistency check in simulation
traceTeamCollectionInfo();

View File

@ -65,7 +65,7 @@ struct IDataDistributionTeam {
std::string getDesc() const {
const auto& servers = getLastKnownServerInterfaces();
std::string s = format("TeamID:%s", getTeamID().c_str());
std::string s = format("TeamID %s; ", getTeamID().c_str());
s += format("Size %d; ", servers.size());
for (int i = 0; i < servers.size(); i++) {
if (i)