examples/python/actor-lifetime/actor-lifetime_d.xml

   1 <?xml version='1.0'?>
   2 <!DOCTYPE platform SYSTEM "https://simgrid.org/simgrid.dtd">
   3
   4 <!-- This shows how to use the start_time and kill_time attributes of <actors> -->
   5
   6 <platform version="4.1">
   7   <actor host="node-0.simgrid.org" function="sleeper"                              />
   8   <actor host="node-0.simgrid.org" function="sleeper" start_time="2"               />
   9   <actor host="node-1.simgrid.org" function="sleeper"                kill_time="3" />
  10   <actor host="node-2.simgrid.org" function="sleeper" start_time="4" kill_time="7" />
  11 </platform>