isNSWorker        489 dmtcp_coordinator.cpp                          int isNSWorker)
isNSWorker        492 dmtcp_coordinator.cpp   _isNSWorker = isNSWorker;
isNSWorker        902 dmtcp_coordinator.cpp   if (client->isNSWorker()) {
isNSWorker         38 dmtcp_coordinator.h 		  int isNSWorker = 0);
isNSWorker         55 dmtcp_coordinator.h       int isNSWorker() {return _isNSWorker;}