From: mquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Tue, 14 Dec 2004 20:59:20 +0000 (+0000)
Subject: use gras_exit, not only xbt_exit
X-Git-Tag: v3.3~4725
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/9b5ba1582444ecd1bc7904b2aa0bb71fcabffc5e

use gras_exit, not only xbt_exit


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

diff --git a/examples/ping/ping.c b/examples/ping/ping.c
index 069c7c53b8..460e30400e 100644
--- a/examples/ping/ping.c
+++ b/examples/ping/ping.c
@@ -116,9 +116,10 @@ int server (int argc,char *argv[]) {
   
   if (!gras_if_RL())
     gras_os_sleep(1,0);
+
   gras_socket_close(g->sock);
   free(g);
-  xbt_exit();
+  gras_exit();
   INFO0("SERVER: Done.");
   return no_error;
 }
@@ -194,7 +195,7 @@ int client(int argc,char *argv[]) {
 
   gras_socket_close(g->sock);
   free(g);
-  xbt_exit();
+  gras_exit();
   INFO0("Client: Done.");
   return 0;
 }