thePort           412 dmtcp_coordinator.cpp static int thePort = -1;
thePort           638 dmtcp_coordinator.cpp     << "Port: " << thePort << std::endl
thePort          1415 dmtcp_coordinator.cpp                 hostname, thePort, theCheckpointInterval );
thePort          1762 dmtcp_coordinator.cpp   thePort = DEFAULT_PORT;
thePort          1765 dmtcp_coordinator.cpp   if ( portStr != NULL ) thePort = jalib::StringToInt( portStr );
thePort          1800 dmtcp_coordinator.cpp       thePort = jalib::StringToInt( argv[1] );
thePort          1804 dmtcp_coordinator.cpp       thePort = jalib::StringToInt( argv[0]+2 );
thePort          1822 dmtcp_coordinator.cpp         thePort = jalib::StringToInt( argv[0] );
thePort          1838 dmtcp_coordinator.cpp   if ( thePort < 0 )
thePort          1860 dmtcp_coordinator.cpp     listenSock = new jalib::JServerSocket(jalib::JSockAddr::ANY, thePort, 128);
thePort          1861 dmtcp_coordinator.cpp     JASSERT ( listenSock->isValid() ) ( thePort ) ( JASSERT_ERRNO )
thePort          1869 dmtcp_coordinator.cpp   thePort = listenSock->port();
thePort          1871 dmtcp_coordinator.cpp     Util::writeCoordPortToFile(thePort, thePortFile.c_str());
thePort          1884 dmtcp_coordinator.cpp     "\n    Port: " << thePort <<
thePort          1898 dmtcp_coordinator.cpp           coordHostname.c_str(), inet_ntoa(localhostIPAddr), thePort);