From a5da20e6d4fc6ad5b4a96b72d979a48b999838b2 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Mon, 11 Feb 2019 16:05:06 +0100
Subject: [PATCH] Don't set field twice.

---
 src/kernel/context/Context.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/kernel/context/Context.cpp b/src/kernel/context/Context.cpp
index 2b846cfe66..9d66f8c649 100644
--- a/src/kernel/context/Context.cpp
+++ b/src/kernel/context/Context.cpp
@@ -92,8 +92,6 @@ void Context::stop()
     watched_hosts.insert(actor_->host_->get_cname());
   }
 
-  actor_->finished_ = true;
-
   // Execute the termination callbacks
   smx_process_exit_status_t exit_status = (actor_->context_->iwannadie) ? SMX_EXIT_FAILURE : SMX_EXIT_SUCCESS;
   while (not actor_->on_exit.empty()) {
-- 
2.20.1