From: mquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Thu, 22 Jul 2004 03:18:43 +0000 (+0000)
Subject: Move Virtu functions into the gras_os_ namespace
X-Git-Tag: v3.3~5040
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/a91fb1920bacd2a982a7e7cc341d2fea6617ade0

Move Virtu functions into the gras_os_ namespace


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

diff --git a/cruft/doc/gras-sections.txt b/cruft/doc/gras-sections.txt
index b514502c9e..c030034972 100644
--- a/cruft/doc/gras-sections.txt
+++ b/cruft/doc/gras-sections.txt
@@ -328,8 +328,8 @@ gras_userdata_new
 <SECTION>
 <FILE>virtu_syscall</FILE>
 <TITLE>System calls abstraction layer</TITLE>
-gras_time
-gras_sleep
+gras_os_time
+gras_os_sleep
 </SECTION>
 
 <SECTION>
diff --git a/examples/ping/ping.c b/examples/ping/ping.c
index 2ed1eacb6c..aa7ad2fd6e 100644
--- a/examples/ping/ping.c
+++ b/examples/ping/ping.c
@@ -121,7 +121,7 @@ int server (int argc,char *argv[]) {
   if (g->endcondition)
   
   if (!gras_if_RL())
-    gras_sleep(5,0);
+    gras_os_sleep(5,0);
   gras_socket_close(g->sock);
   free(g);
   gras_exit();
@@ -161,7 +161,7 @@ int client(int argc,char *argv[]) {
   } 
 
   INFO2("Launch client (server on %s:%d)",host,port);
-  gras_sleep(5,0); /* Wait for the server to be setup */
+  gras_os_sleep(5,0); /* Wait for the server to be setup */
   if ((errcode=gras_socket_client(host,port,&(g->sock)))) {
     ERROR1("Client: Unable to connect to the server. Got %s",
 	   gras_error_name(errcode));