Always decrement the semaphore capacity, even if it will go under 0 that way (because...

[simgrid.git] / examples / msg / migration / migration.deploy

<?xml version='1.0'?>
<!DOCTYPE platform SYSTEM "simgrid.dtd">
<platform version="2">
  <process host="Jacquelin" function="emigrant"/>
</platform>