workersRunningAndSuspendMsgSent  436 dmtcp_coordinator.cpp static bool workersRunningAndSuspendMsgSent = false;
workersRunningAndSuspendMsgSent  942 dmtcp_coordinator.cpp   workersRunningAndSuspendMsgSent = false;
workersRunningAndSuspendMsgSent 1208 dmtcp_coordinator.cpp   if (workersRunningAndSuspendMsgSent == true) {
workersRunningAndSuspendMsgSent 1286 dmtcp_coordinator.cpp        && !workersRunningAndSuspendMsgSent )
workersRunningAndSuspendMsgSent 1300 dmtcp_coordinator.cpp     workersRunningAndSuspendMsgSent = true;
workersRunningAndSuspendMsgSent 1325 dmtcp_coordinator.cpp     workersRunningAndSuspendMsgSent = false;