portStr          1763 dmtcp_coordinator.cpp   const char* portStr = getenv( ENV_VAR_NAME_PORT );
portStr          1764 dmtcp_coordinator.cpp   if ( portStr == NULL ) portStr = getenv("DMTCP_PORT"); // deprecated
portStr          1765 dmtcp_coordinator.cpp   if ( portStr != NULL ) thePort = jalib::StringToInt( portStr );
portStr            39 dmtcp_launch.cpp                         const char **portStr);
portStr           206 dmtcp_launch.cpp                         const char **host, const char **portStr)
portStr           212 dmtcp_launch.cpp   *portStr = NULL; // uninitialized
portStr           266 dmtcp_launch.cpp       *portStr = argv[1];
portStr           270 dmtcp_launch.cpp       *portStr = argv[0]+2; // Must use argv[0] here, and not s
portStr           349 dmtcp_launch.cpp   const char *portStr;
portStr           351 dmtcp_launch.cpp   processArgs(&argc, &argv, &tmpDir, &host, &portStr);
portStr           493 dmtcp_launch.cpp   int port = (portStr ? jalib::StringToInt(portStr) : UNINITIALIZED_PORT);