Rescue cleanups lost with commit 8914cdf67bb2cdd7b64e6eeef5b06c29b24c3c96.

diff --git a/src/smpi/internals/smpi_process.cpp b/src/smpi/internals/smpi_process.cpp
index 0a61f94..e090be0 100644 (file)
--- a/src/smpi/internals/smpi_process.cpp
+++ b/src/smpi/internals/smpi_process.cpp
@@ -52,6 +52,10 @@ Process::Process(ActorPtr actor, msg_bar_t finalization_barrier)
 
 Process::~Process()
 {
+  if (comm_self_ != MPI_COMM_NULL)
+    simgrid::smpi::Comm::destroy(comm_self_);
+  if (comm_intra_ != MPI_COMM_NULL)
+    simgrid::smpi::Comm::destroy(comm_intra_);
   xbt_os_timer_free(timer_);
   xbt_mutex_destroy(mailboxes_mutex_);
 }