isSingleHost     1380 dmtcp_coordinator.cpp   const bool isSingleHost = (_restartFilenames.size() == 1);
isSingleHost     1431 dmtcp_coordinator.cpp   if ( isSingleHost ) {