convert actor-startkilltime to s4u API

[simgrid.git] / examples / s4u / actor-startkilltime / s4u-actor-baseline_d.xml

<?xml version='1.0'?>
<!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid/simgrid.dtd">
<platform version="4.1">
  <!-- Just sleeps for 10 seconds and quits -->
  <actor host="node-0.acme.org" function="sleeper">  
    <argument value="10"/>
  </actor>
</platform>