[Mpi-forum] Question about the semantics of MPI_Comm_disconnect