wait_for_server   145 orte/orted/pmix/pmix_server.c     orte_pmix_server_globals.wait_for_server = false;
wait_for_server   150 orte/orted/pmix/pmix_server.c                                   &orte_pmix_server_globals.wait_for_server);
wait_for_server   263 orte/orted/pmix/pmix_server_internal.h     bool wait_for_server;
wait_for_server   130 orte/orted/pmix/pmix_server_pub.c         if (orte_pmix_server_globals.wait_for_server) {