Ensure we correctly identify local vs non-local peers#13111

rhc54 wants to merge 3 commits intoopen-mpi:mainopen-mpi/ompi:mainfrom

rhc54:topic/resrhc54/ompi:topic/resCopy head branch name to clipboard