From: Martin Quinson <martin.quinson@loria.fr>
Date: Sat, 3 Feb 2018 21:36:10 +0000 (+0100)
Subject: plug another memleak
X-Git-Tag: v3.19~274
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/09dc22d76dcaa090778d6a9a5dfce073b1ba3ae4

plug another memleak
---

diff --git a/src/smpi/include/smpi_process.hpp b/src/smpi/include/smpi_process.hpp
index 1f4c60728b..623abfa421 100644
--- a/src/smpi/include/smpi_process.hpp
+++ b/src/smpi/include/smpi_process.hpp
@@ -44,6 +44,7 @@ class Process {
 #endif
   public:
     explicit Process(simgrid::s4u::ActorPtr actor, msg_bar_t barrier);
+    ~Process();
     void set_data(int* argc, char*** argv);
     void finalize();
     int finalized();
diff --git a/src/smpi/internals/smpi_process.cpp b/src/smpi/internals/smpi_process.cpp
index 90a265e333..36f01638bb 100644
--- a/src/smpi/internals/smpi_process.cpp
+++ b/src/smpi/internals/smpi_process.cpp
@@ -56,6 +56,12 @@ Process::Process(ActorPtr actor, msg_bar_t finalization_barrier)
 #endif
 }
 
+Process::~Process()
+{
+  xbt_os_timer_free(timer_);
+  xbt_mutex_destroy(mailboxes_mutex_);
+}
+
 void Process::set_data(int* argc, char*** argv)
 {
   instance_id_      = std::string((*argv)[1]);