oldState          657 dmtcp_coordinator.cpp void DmtcpCoordinator::updateMinimumState(WorkerState oldState)
oldState          661 dmtcp_coordinator.cpp   if ( oldState == WorkerState::RUNNING
oldState          667 dmtcp_coordinator.cpp   if ( oldState == WorkerState::SUSPENDED
oldState          673 dmtcp_coordinator.cpp   if ( oldState == WorkerState::FD_LEADER_ELECTION
oldState          681 dmtcp_coordinator.cpp   if ( oldState == WorkerState::DRAINED
oldState          695 dmtcp_coordinator.cpp   if ( oldState == WorkerState::RESTARTING
oldState          704 dmtcp_coordinator.cpp   if ( oldState == WorkerState::CHECKPOINTED
oldState          709 dmtcp_coordinator.cpp   if ( oldState == WorkerState::NAME_SERVICE_DATA_REGISTERED
oldState          714 dmtcp_coordinator.cpp   if ( oldState == WorkerState::DONE_QUERYING
oldState          718 dmtcp_coordinator.cpp   if ( oldState == WorkerState::DRAINED
oldState          731 dmtcp_coordinator.cpp   if ( oldState == WorkerState::RESTARTING
oldState          739 dmtcp_coordinator.cpp   if ( oldState == WorkerState::CHECKPOINTED
oldState          781 dmtcp_coordinator.cpp       WorkerState oldState = client->state();
oldState          787 dmtcp_coordinator.cpp         ( oldState )( msg.from )( msg.state )( newState );
oldState          789 dmtcp_coordinator.cpp       updateMinimumState(oldState);
oldState           89 dmtcp_coordinator.h       void updateMinimumState(WorkerState oldState);