DMTCP_RESTART_CMD 1419 dmtcp_coordinator.cpp   fprintf ( fp, "dmt_rstr_cmd=%s/" DMTCP_RESTART_CMD "\n"
DMTCP_RESTART_CMD 1421 dmtcp_coordinator.cpp                 " || dmt_rstr_cmd=" DMTCP_RESTART_CMD "\n"