- Do not close sockets closed on other side: user may keep references to them.

[simgrid.git] / examples / gras / tokenS / tokenS_deployment.xml

diff --git a/examples/gras/tokenS/tokenS_deployment.xml b/examples/gras/tokenS/tokenS_deployment.xml
index 01f9538..78d0418 100644 (file)
--- a/examples/gras/tokenS/tokenS_deployment.xml
+++ b/examples/gras/tokenS/tokenS_deployment.xml
@@ -1,5 +1,6 @@
-<?xml version='1.0'?><!DOCTYPE platform_description SYSTEM "surfxml.dtd">
-<platform_description>
+<?xml version='1.0'?>
+<!DOCTYPE platform_description SYSTEM "surfxml.dtd">
+<platform_description version="1">
 
  <process host="Tremblay" function="node">
   <argument value="4000"/>                           <!-- port on which I am listening -->