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

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

diff --git a/examples/msg/mc/deploy_electric_fence.xml b/examples/msg/mc/deploy_electric_fence.xml
index 3fd4d5a4fb75419b4aa80e1fb4402032ba3e86f1..6063b5d24c2ae84ee483346a72f6e8a0b5532ddb 100644 (file)
--- a/examples/msg/mc/deploy_electric_fence.xml
+++ b/examples/msg/mc/deploy_electric_fence.xml
@@ -1,13 +1,7 @@
 <?xml version='1.0'?>
-<!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid.dtd">
-<platform version="3">
-  <process host="HostA" function="server">
-    <argument value="0"/>
-  </process>
-  <process host="HostB" function="client">
-    <argument value="1"/>
-  </process>  
-  <process host="HostC" function="client">
-    <argument value="2"/>
-  </process>
+<!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid/simgrid.dtd">
+<platform version="4">
+  <process host="HostA" function="server">    <argument value="0"/>  </process>
+  <process host="HostB" function="client">    <argument value="1"/>  </process>  
+  <process host="HostC" function="client">    <argument value="2"/>  </process>
 </platform>