Use gras_exit now that it exists and not xbt_exit

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

diff --git a/testsuite/gras/datadesc_usage.c b/testsuite/gras/datadesc_usage.c
index 14f75f2..813a605 100644 (file)
--- a/testsuite/gras/datadesc_usage.c
+++ b/testsuite/gras/datadesc_usage.c
@@ -620,7 +620,7 @@ int main(int argc,char *argv[]) {
 
   if (direction != RW) 
     gras_socket_close(sock);
-  xbt_exit();
+  gras_exit();
   return 0;
 }
 

diff --git a/testsuite/gras/trp_file_client.c b/testsuite/gras/trp_file_client.c
index 8985f92..91c4b4e 100644 (file)
--- a/testsuite/gras/trp_file_client.c
+++ b/testsuite/gras/trp_file_client.c
@@ -31,6 +31,6 @@ int main(int argc,char *argv[]) {
   fprintf(stderr,"===[CLIENT]=== Exiting successfully\n");
   gras_socket_close(sock);
    
-  xbt_exit();
+  gras_exit();
   return 0;
 }

diff --git a/testsuite/gras/trp_file_server.c b/testsuite/gras/trp_file_server.c
index cbe4e55..8db302f 100644 (file)
--- a/testsuite/gras/trp_file_server.c
+++ b/testsuite/gras/trp_file_server.c
@@ -33,6 +33,6 @@ int main(int argc,char *argv[]) {
   fprintf(stderr,"===[SERVER]=== Exiting successfully\n");
   gras_socket_close(sock);
 
-  xbt_exit();
+  gras_exit();
   return 0;
 }

diff --git a/testsuite/gras/trp_tcp_client.c b/testsuite/gras/trp_tcp_client.c
index f12fe76..f0db530 100644 (file)
--- a/testsuite/gras/trp_tcp_client.c
+++ b/testsuite/gras/trp_tcp_client.c
@@ -43,6 +43,6 @@ int main(int argc,char *argv[]) {
   fprintf(stderr,"===[CLIENT]=== Exiting successfully\n");
   gras_socket_close(sock);
    
-  xbt_exit();
+  gras_exit();
   return 0;
 }

diff --git a/testsuite/gras/trp_tcp_server.c b/testsuite/gras/trp_tcp_server.c
index 46e76c5..729d056 100644 (file)
--- a/testsuite/gras/trp_tcp_server.c
+++ b/testsuite/gras/trp_tcp_server.c
@@ -36,6 +36,6 @@ int main(int argc,char *argv[]) {
   fprintf(stderr,"===[SERVER]=== Exiting successfully\n");
   gras_socket_close(sock);
 
-  xbt_exit();
+  gras_exit();
   return 0;
 }