Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: a66f1aa)
get rid od auto_restart_processes_
authorFrederic Suter <frederic.suter@cc.in2p3.fr>
Sun, 5 Aug 2018 11:08:35 +0000 (13:08 +0200)
committerFrederic Suter <frederic.suter@cc.in2p3.fr>
Sun, 5 Aug 2018 18:54:59 +0000 (20:54 +0200)
all actors are now put in actors_at_boot_
when a host is turned off, all the actors in actors_at_boot_ that do
not have the auto_restart_ flag to true are removed from the map. This
way, only the the actors that have to restart will when the host is
turned back on.


No differences found
Clone of SimGrid repository with local patches