theRestartScriptCheckLocal  159 dmtcp_coordinator.cpp static const char* theRestartScriptCheckLocal =
theRestartScriptCheckLocal 1396 dmtcp_coordinator.cpp   fprintf ( fp, "%s", theRestartScriptCheckLocal );