Don't forget to call del_procs.

This commit was SVN r30430.

ompi/runtime/ompi_mpi_finalize.c

@@ -116,11 +116,6 @@ int ompi_mpi_finalize(void)
 
     ompi_mpiext_fini();
 
-    /* As finalize is the last legal MPI call, we are allowed to force the release
-     * of the user buffer used for bsend, before going anywhere further.
-     */
-    (void)mca_pml_base_bsend_detach(NULL, NULL);
-
     /* Per MPI-2:4.8, we have to free MPI_COMM_SELF before doing
        anything else in MPI_FINALIZE (to include setting up such that
        MPI_FINALIZED will return true). */
@@ -136,6 +131,17 @@ int ompi_mpi_finalize(void)
 
     ompi_mpi_finalized = true;
 
+    /* As finalize is the last legal MPI call, we are allowed to force the release
+     * of the user buffer used for bsend, before going anywhere further.
+     */
+    (void)mca_pml_base_bsend_detach(NULL, NULL);
+
+    {
+	size_t nprocs = 0;
+	ompi_proc_t** procs = ompi_proc_all(&nprocs);
+	MCA_PML_CALL(del_procs(procs, nprocs));
+	free(procs);
+    }
 #if OMPI_ENABLE_PROGRESS_THREADS == 0
     opal_progress_set_event_flag(OPAL_EVLOOP_ONCE | OPAL_EVLOOP_NONBLOCK);
 #endif