[simix] Do not deadlock when joining a process which is already dead

[simgrid.git] / src / simix / smx_process_private.h

diff --git a/src/simix/smx_process_private.h b/src/simix/smx_process_private.h
index 29e0756fe69f11c8aa9bb9c54b9ddfb702e93522..d844aba45e2c758a9f2cfb03d35a95355d7f2ea0 100644 (file)
--- a/src/simix/smx_process_private.h
+++ b/src/simix/smx_process_private.h
@@ -54,6 +54,7 @@ public:
 
   // TODO, pack them
   std::exception_ptr exception;
+  bool finished     = false;
   bool blocked      = false;
   bool suspended    = false;
   bool auto_restart = false;