Proofread

src/FailureDetector.cc

Index: src/FailureDetector.cc
diff --git a/src/FailureDetector.cc b/src/FailureDetector.cc
index 599202b3b50ab6a0345b5c18badc49e8c26577f4..3d2ece370e73ef8072a18c4d12e375d194e0b338 100644
--- a/src/FailureDetector.cc
+++ b/src/FailureDetector.cc
@@ -24,6 +24,7 @@
 #include "CoordinatorClient.h"
 #include "FailureDetector.h"
 #include "IpAddress.h"
+#include "MasterService.h"
 #include "ShortMacros.h"
 #include "WireFormat.h"
 
@@ -166,11 +167,13 @@ FailureDetector::pingRandomServer()
             locator.c_str(), pingee.toString().c_str());
     } catch (const CallerNotInClusterException &e) {
         // See "Zombies" in designNotes.
+        MasterService::Disabler disabler(context->masterService);
         CoordinatorClient::verifyMembership(context, ourServerId);
         probesWithoutResponse = 0;
     }
     if (probesWithoutResponse >= MAX_FAILED_PROBES) {
         // See "Zombies" in designNotes.
+        MasterService::Disabler disabler(context->masterService);
         CoordinatorClient::verifyMembership(context, ourServerId);
         probesWithoutResponse = 0;
     }