From 80f12741b28d98e2d8677bc987afcbedd02e25fb Mon Sep 17 00:00:00 2001
From: mquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Wed, 30 Mar 2005 16:31:28 +0000
Subject: [PATCH] s/gras_process_getpid/gras_os_getpid/

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@1193 48e7efb5-ca39-0410-a469-dd3cf9ba447f
---
 ChangeLog                      | 2 +-
 include/gras/virtu.h           | 2 +-
 src/gras/Virtu/rl_process.c    | 2 +-
 src/gras/Virtu/sg_process.c    | 2 +-
 src/xbt/log_default_appender.c | 2 +-
 5 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 6242d84a7d..936539d625 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -20,7 +20,7 @@ DONE
 ----
   [Arnaud]
   (gras)
-  * Add a gras_process_getpid function.
+  * Add a gras_os_getpid function.
 
   (msg)
   * Add MSG_task_get_compute_duration() and MSG_task_get_data_size()
diff --git a/include/gras/virtu.h b/include/gras/virtu.h
index 6b3b7f6b24..aab294e0e5 100644
--- a/include/gras/virtu.h
+++ b/include/gras/virtu.h
@@ -44,7 +44,7 @@ gras_os_myname(void);
  * Returns the process ID of the current process.  (This is often used
    by routines that generate unique temporary file names.)
  */
-int gras_process_getpid(void);
+int gras_os_getpid(void);
 
 /** @} */
 END_DECL()
diff --git a/src/gras/Virtu/rl_process.c b/src/gras/Virtu/rl_process.c
index 67933cd45a..b6e53a993f 100644
--- a/src/gras/Virtu/rl_process.c
+++ b/src/gras/Virtu/rl_process.c
@@ -34,7 +34,7 @@ const char *xbt_procname(void) {
   else return "(null)";
 }
 
-int gras_process_getpid(void) {
+int gras_os_getpid(void) {
   return getpid();
 }
 
diff --git a/src/gras/Virtu/sg_process.c b/src/gras/Virtu/sg_process.c
index 4f78a4932d..018225fece 100644
--- a/src/gras/Virtu/sg_process.c
+++ b/src/gras/Virtu/sg_process.c
@@ -135,7 +135,7 @@ const char* xbt_procname(void) {
     return "";
 }
 
-int gras_process_getpid(void) {
+int gras_os_getpid(void) {
   m_process_t process = MSG_process_self();
   if ((process != NULL) && (process->simdata))
     return MSG_process_get_PID(MSG_process_self());
diff --git a/src/xbt/log_default_appender.c b/src/xbt/log_default_appender.c
index 4219f92751..cfe919cb9d 100644
--- a/src/xbt/log_default_appender.c
+++ b/src/xbt/log_default_appender.c
@@ -41,7 +41,7 @@ static const char* xbt_logappender_verbose_information(void) {
 
   if(strlen(gras_os_myname()))
     sprintf(buffer,"%s:%s:(%d) %g", gras_os_myname(),
-	    xbt_procname(),gras_process_getpid(),gras_os_time());
+	    xbt_procname(),gras_os_getpid(),gras_os_time());
   else 
     buffer[0]=0;
   
-- 
2.20.1