----
[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()
* 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()
else return "(null)";
}
-int gras_process_getpid(void) {
+int gras_os_getpid(void) {
return getpid();
}
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());
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;