8454fc8a65
Fixes https://github.com/pmix/pmix-reference-server/issues/42 Signed-off-by: Ralph Castain <rhc@open-mpi.org>