Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

[simgrid.git] / examples / msg / mc / deploy_bugged1_liveness.xml

diff --git a/examples/msg/mc/deploy_bugged1_liveness.xml b/examples/msg/mc/deploy_bugged1_liveness.xml
index f38ea85593fb7ad881eebdf6de59811ff1092af6..3a361561be61e83eb298f91360cca6d29b887d74 100644 (file)
--- a/examples/msg/mc/deploy_bugged1_liveness.xml
+++ b/examples/msg/mc/deploy_bugged1_liveness.xml
@@ -1,17 +1,7 @@
 <?xml version='1.0'?>
-
-<!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid.dtd">
-
-<platform version="3">
-
+<!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid/simgrid.dtd">
+<platform version="4">
   <process host="Tremblay" function="coordinator" />
-
-  <process host="Boivin" function="client" >
-    <argument value="1"/>
-  </process>
-
-  <process host="Fafard" function="client" >
-    <argument value="2"/>
-  </process>
-
+  <process host="Boivin" function="client" >         <argument value="1"/>  </process>
+  <process host="Fafard" function="client" >         <argument value="2"/>  </process>
 </platform>