From 09dc22d76dcaa090778d6a9a5dfce073b1ba3ae4 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Sat, 3 Feb 2018 22:36:10 +0100
Subject: [PATCH] plug another memleak

---
 src/smpi/include/smpi_process.hpp   | 1 +
 src/smpi/internals/smpi_process.cpp | 6 ++++++
 2 files changed, 7 insertions(+)

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]);
-- 
2.20.1