Skip to content

Conversation

@rhc54
Copy link
Contributor

@rhc54 rhc54 commented Mar 8, 2016

Fixes #1425

rhc54 pushed a commit that referenced this pull request Mar 8, 2016
Ensure the process name is positive when using direct launch
@rhc54 rhc54 merged commit 7b84207 into open-mpi:master Mar 8, 2016
@rhc54 rhc54 deleted the topic/names branch March 8, 2016 18:21
@artpol84
Copy link
Contributor

We need to PR this to 2.0

jsquyres pushed a commit to jsquyres/ompi that referenced this pull request Aug 23, 2016
Ensure the process name is positive when using direct launch
(cherry picked from commit open-mpi/ompi@7b84207)
jsquyres pushed a commit to jsquyres/ompi that referenced this pull request Aug 23, 2016
Merge pull request open-mpi#1436 from rhc54/topic/names
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants