From 6c8a94bb359a2894e0509af5212f3765f23ccac1 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Wed, 29 Jun 2022 08:16:16 +0200
Subject: [PATCH] Disable sthread at the end of the sthread_main

---
 src/sthread/sthread_impl.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/sthread/sthread_impl.cpp b/src/sthread/sthread_impl.cpp
index d3e41ae346..df1854109b 100644
--- a/src/sthread/sthread_impl.cpp
+++ b/src/sthread/sthread_impl.cpp
@@ -43,6 +43,7 @@ int sthread_main(int argc, char** argv, char** envp, int (*raw_main)(int, char**
 
   XBT_INFO("Starting the simulation.");
   sg4::Engine::get_instance()->run();
+  sthread_disable();
   XBT_INFO("All threads exited. Terminating the simulation.");
 
   return 0;
-- 
2.20.1