From: mquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Sun, 27 Aug 2006 22:52:13 +0000 (+0000)
Subject: Also shut amok down
X-Git-Tag: v3.3~2600
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/03c815317641022e00ed80e892d63d06441158c3

Also shut amok down


git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@2759 48e7efb5-ca39-0410-a469-dd3cf9ba447f
---

diff --git a/src/gras/gras.c b/src/gras/gras.c
index a85be22980..b2a8c922b2 100644
--- a/src/gras/gras.c
+++ b/src/gras/gras.c
@@ -83,6 +83,7 @@ void gras_init(int *argc,char **argv) {
 
 void gras_exit(void) {
   INFO0("Exiting GRAS");
+  amok_exit();
   if (--gras_running_process == 0) {
     gras_msg_exit();
     gras_trp_exit();