theRestartScriptSingleHostProcessing  294 dmtcp_coordinator.cpp static const char* theRestartScriptSingleHostProcessing =
theRestartScriptSingleHostProcessing 1441 dmtcp_coordinator.cpp     fprintf ( fp, "%s", theRestartScriptSingleHostProcessing );