From 68789b70e7a97bf748e0829eceeb4e2aca2cc490 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Wed, 16 Jan 2019 07:41:47 +0100
Subject: [PATCH 1/1] woops, plug a memleak

---
 src/kernel/context/ContextThread.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/kernel/context/ContextThread.cpp b/src/kernel/context/ContextThread.cpp
index d22c7aa318..b78153fc4a 100644
--- a/src/kernel/context/ContextThread.cpp
+++ b/src/kernel/context/ContextThread.cpp
@@ -79,6 +79,7 @@ ThreadContext::~ThreadContext()
 {
   if (this->thread_) /* If there is a thread (maestro don't have any), wait for its termination */
     thread_->join();
+  delete thread_;
 }
 
 void *ThreadContext::wrapper(void *param)
-- 
2.20.1