Shut gras processes up on simulators

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

diff --git a/src/gras/gras.c b/src/gras/gras.c
index f718ca1..8df74c5 100644 (file)
--- a/src/gras/gras.c
+++ b/src/gras/gras.c
@@ -146,7 +146,8 @@ void gras_init(int *argc, char **argv)
 void gras_exit(void)
 {
   gras_procdata_t *pd;
-  INFO0("Exiting GRAS");
+  if (gras_if_RL())
+    INFO0("Exiting GRAS");
   amok_exit();
   gras_moddata_leave();
   pd = gras_procdata_get();