Don't bother trying to close the socket: gras reports it as unknown

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

diff --git a/examples/gras/pmm/pmm.c b/examples/gras/pmm/pmm.c
index 01fe32d..f429b09 100755 (executable)
--- a/examples/gras/pmm/pmm.c
+++ b/examples/gras/pmm/pmm.c
@@ -339,9 +339,9 @@ static int pmm_worker_cb(gras_msg_cb_ctx_t ctx, void *payload) {
 
   xbt_matrix_free(mydataA);
   xbt_matrix_free(mydataB);
+  /* FIXME: some are said to be unknown 
   gras_socket_close(master);
   gras_socket_close(from);
-  /* FIXME: some are said to be unknown 
   for (l=0; l < PROC_MATRIX_SIZE-1; l++) {
      if (socket_line[l])
        gras_socket_close(socket_line[l]);