isRestarting      449 dmtcp_coordinator.cpp static bool isRestarting = false;
isRestarting      747 dmtcp_coordinator.cpp     isRestarting = false;
isRestarting     1062 dmtcp_coordinator.cpp     isRestarting = true;
isRestarting     1354 dmtcp_coordinator.cpp       isRestarting && count < numPeers ){