isGroupLeader     155 dmtcp_restart.cpp       if (_pInfo.isGroupLeader()) {
isGroupLeader      98 processinfo.h        bool isGroupLeader() const { return _pid == _gid; }