From bba3b346b0b7ee53ad563a1e0f53b310d51173da Mon Sep 17 00:00:00 2001
From: suter <frederic.suter@cc.in2p3.fr>
Date: Mon, 7 Oct 2013 20:11:40 +0200
Subject: [PATCH 1/1] Argh ... a parse error is killing me, lets clean up my
 mess before dying ...

Totally useless commit, unless for cdash stats
---
 src/surf/surfxml_parse.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/surf/surfxml_parse.c b/src/surf/surfxml_parse.c
index b7540cf748..3d6a122d19 100644
--- a/src/surf/surfxml_parse.c
+++ b/src/surf/surfxml_parse.c
@@ -33,9 +33,12 @@ extern AS_t current_routing;
 void surf_parse_error(const char *fmt, ...) {
   va_list va;
   va_start(va,fmt);
+  int lineno = surf_parse_lineno;
   char *msg = bvprintf(fmt,va);
   va_end(va);
-  xbt_die("Parse error at %s:%d: %s", surf_parsed_filename, surf_parse_lineno, msg);
+  cleanup();
+  surf_exit();
+  xbt_die("Parse error at %s:%d: %s", surf_parsed_filename, lineno, msg);
 }
 void surf_parse_warn(const char *fmt, ...) {
   va_list va;
-- 
2.20.1