From 0a20b10a1efd68b60826d141460f5fab8a8a76da Mon Sep 17 00:00:00 2001
From: Samuel Lepetit <samuel.lepetit@inria.fr>
Date: Wed, 27 Jun 2012 16:08:41 +0200
Subject: [PATCH] Add on_failure for processes to the SimGrid DTD.

---
 src/surf/simgrid.dtd | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/surf/simgrid.dtd b/src/surf/simgrid.dtd
index 7dfcbca30e..b636f86d89 100644
--- a/src/surf/simgrid.dtd
+++ b/src/surf/simgrid.dtd
@@ -131,6 +131,7 @@
 <!ATTLIST process function CDATA #REQUIRED>
 <!ATTLIST process start_time CDATA "-1.0">
 <!ATTLIST process kill_time CDATA "-1.0">
+<!ATTLIST process on_failure (DIE|RESTART) "DIE">
 
 <!ELEMENT argument EMPTY>
 <!ATTLIST argument value CDATA #REQUIRED>
-- 
2.20.1