Add start_time and kill_time arguments to processes in deployment file

[simgrid.git] / src / surf / surfxml.dtd

diff --git a/src/surf/surfxml.dtd b/src/surf/surfxml.dtd
index 98d5643..88da30c 100644 (file)
--- a/src/surf/surfxml.dtd
+++ b/src/surf/surfxml.dtd
@@ -39,6 +39,8 @@
 <!ELEMENT process (argument*)>
 <!ATTLIST process host CDATA #REQUIRED>
 <!ATTLIST process function CDATA #REQUIRED>
 <!ELEMENT process (argument*)>
 <!ATTLIST process host CDATA #REQUIRED>
 <!ATTLIST process function CDATA #REQUIRED>

+<!ATTLIST process start_time CDATA "0.0">
+<!ATTLIST process kill_time CDATA "-1.0">

 
 <!ELEMENT argument EMPTY>
 <!ATTLIST argument value CDATA #REQUIRED>
 
 <!ELEMENT argument EMPTY>
 <!ATTLIST argument value CDATA #REQUIRED>