From 5963dc7702840c2a23af05563584baab8cc2a78a Mon Sep 17 00:00:00 2001
From: mquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Wed, 11 Jul 2007 11:10:42 +0000
Subject: [PATCH] please shutdown the process/agent BEFORE the whole gras
 mecanisms are shut down

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@3727 48e7efb5-ca39-0410-a469-dd3cf9ba447f
---
 src/gras/gras.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/gras/gras.c b/src/gras/gras.c
index 4ab3eea60d..5aba78e461 100644
--- a/src/gras/gras.c
+++ b/src/gras/gras.c
@@ -87,6 +87,7 @@ void gras_exit(void) {
   INFO0("Exiting GRAS");
   amok_exit();
   gras_moddata_leave();
+  gras_process_exit();
   if (--gras_running_process == 0) {
     gras_msg_exit();
     gras_trp_exit();
@@ -94,7 +95,6 @@ void gras_exit(void) {
     gras_emul_exit();
     gras_moddata_exit();
   }
-  gras_process_exit();
   xbt_exit();
 }
 
-- 
2.20.1