X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/4a9f96113bc9372624cefc06d484a8943bea9992..00366131b0706b5a4e901663d7d5cabbe7a27ebf:/src/gras/Msg/sg_msg.c

diff --git a/src/gras/Msg/sg_msg.c b/src/gras/Msg/sg_msg.c
index 4e32910f68..a45a728799 100644
--- a/src/gras/Msg/sg_msg.c
+++ b/src/gras/Msg/sg_msg.c
@@ -71,7 +71,7 @@ int gras_socket_im_the_server(gras_socket_t sock) {
   /* This is where the bug is visible. Try to die as loudly as possible */
   xbt_backtrace_display_current();
   ((char*)sock)[sizeof(*sock)+1] = '0'; /* Try to make valgrind angry to see where that damn socket comes from */
-  system(bprintf("cat /proc/%d/maps 1>&2",getpid()));
+  if(system(bprintf("cat /proc/%d/maps 1>&2",getpid()))){}
   INFO6("I'm not the client in socket %p (comm:%p, rdvser=%p, rdvcli=%p) to %s, that's %s",
       sock,sock_data->comm_recv,sock_data->rdv_server,sock_data->rdv_client,
       SIMIX_host_get_name(SIMIX_process_get_host(sock_data->server)),