Also shut amok down

[simgrid.git] / src / gras / gras.c

diff --git a/src/gras/gras.c b/src/gras/gras.c
index b4a33a3..b2a8c92 100644 (file)
--- a/src/gras/gras.c
+++ b/src/gras/gras.c
@@ -70,7 +70,9 @@ void gras_init(int *argc,char **argv) {
     gras_trp_init();
     gras_datadesc_init();
 #if defined(HAVE_SIGNAL) && defined(HAVE_SIGNAL_H)
+# ifdef SIGUSR1
     signal(SIGUSR1,gras_sigusr_handler);
+# endif
     signal(SIGINT,gras_sigint_handler);
 #endif     
   }
@@ -81,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();