thePortFile       413 dmtcp_coordinator.cpp static string thePortFile;
thePortFile       896 dmtcp_coordinator.cpp   JTRACE("Removing port-file") (thePortFile);
thePortFile       897 dmtcp_coordinator.cpp   unlink(thePortFile.c_str());
thePortFile      1807 dmtcp_coordinator.cpp       thePortFile = argv[1];
thePortFile      1870 dmtcp_coordinator.cpp   if (!thePortFile.empty()) {
thePortFile      1871 dmtcp_coordinator.cpp     Util::writeCoordPortToFile(thePort, thePortFile.c_str());
thePortFile       174 dmtcp_launch.cpp static string thePortFile;
thePortFile       273 dmtcp_launch.cpp       thePortFile = argv[1];
thePortFile       501 dmtcp_launch.cpp   Util::writeCoordPortToFile(port, thePortFile.c_str());
thePortFile       120 dmtcp_restart.cpp static string thePortFile;
thePortFile       218 dmtcp_restart.cpp         Util::writeCoordPortToFile(port, thePortFile.c_str());
thePortFile       664 dmtcp_restart.cpp       thePortFile = argv[1];