writeCoordPortToFile 1871 dmtcp_coordinator.cpp     Util::writeCoordPortToFile(thePort, thePortFile.c_str());
writeCoordPortToFile  501 dmtcp_launch.cpp   Util::writeCoordPortToFile(port, thePortFile.c_str());
writeCoordPortToFile  218 dmtcp_restart.cpp         Util::writeCoordPortToFile(port, thePortFile.c_str());