From: Martin Quinson <martin.quinson@loria.fr>
Date: Fri, 17 Aug 2018 23:21:12 +0000 (+0200)
Subject: Mark actors as auto_restart when recreating them on restart.
X-Git-Tag: v3_21~240
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/88b1e4950f861a4757910503cb770442fc614458

Mark actors as auto_restart when recreating them on restart.

I guess it often works without it because we restart the actors that
are in the actors_at_boot_ vector, and that list is sufficiently
accurate.

But still, several locations of the code actually look if the actor is
marked auto_restart_ without checking the vector, so it's much better
having redundent information source to contain the same data.
---

diff --git a/src/surf/HostImpl.cpp b/src/surf/HostImpl.cpp
index 26acaddfa1..401ee6d664 100644
--- a/src/surf/HostImpl.cpp
+++ b/src/surf/HostImpl.cpp
@@ -132,6 +132,8 @@ void HostImpl::turn_on()
                                                               arg->properties.get(), nullptr);
     if (arg->kill_time >= 0)
       simcall_process_set_kill_time(actor, arg->kill_time);
+    if (arg->auto_restart)
+      actor->auto_restart_ = arg->auto_restart;
     if (arg->daemon_)
       actor->daemonize();
   }