Skip to content

Conversation

@hppritcha
Copy link
Member

Change the provider include and exclude list name comparison check to
ignore case. The UDP provider's name is uppercase and was being selected
despite being in the exclude list.

Signed-off-by: Robert Wespetal wesper@amazon.com
(cherry picked from commit 9b72e94)

Change the provider include and exclude list name comparison check to
ignore case. The UDP provider's name is uppercase and was being selected
despite being in the exclude list.

Signed-off-by: Robert Wespetal <wesper@amazon.com>
(cherry picked from commit 9b72e94)
@gpaulsen gpaulsen merged commit e561f2a into open-mpi:v4.0.x Jan 3, 2020
@hppritcha hppritcha deleted the topic/pr7238_to_v4.0.x branch October 29, 2021 17:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants