From bd7753d965d41b892925d5d15fc1f9fda663ee95 Mon Sep 17 00:00:00 2001
From: mquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Tue, 6 Jul 2004 08:07:30 +0000
Subject: [PATCH] exit gras in server, and say process are done when they
 really are

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@184 48e7efb5-ca39-0410-a469-dd3cf9ba447f
---
 examples/ping/ping.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/examples/ping/ping.c b/examples/ping/ping.c
index b27ecf3422..39ca8dd11c 100644
--- a/examples/ping/ping.c
+++ b/examples/ping/ping.c
@@ -126,10 +126,10 @@ int server (int argc,char *argv[]) {
   
   if (!gras_if_RL())
     gras_sleep(5,0);
-  INFO0("SERVER: Done.");
   gras_socket_close(g->sock);
   free(g);
   gras_exit();
+  INFO0("SERVER: Done.");
   return no_error;
 }
 
@@ -208,6 +208,7 @@ int client(int argc,char *argv[]) {
 
   gras_socket_close(g->sock);
   free(g);
+  gras_exit();
   INFO0("Client: Done.");
   return 0;
 }
-- 
2.20.1