- if(strlen(gras_os_myname()))
- sprintf(buffer,"%s:%s:(%d) %g", gras_os_myname(),
- xbt_procname(),gras_os_getpid(),gras_os_time());
+ if(strlen(xbt_procname()))
+ sprintf(buffer,"%s:%s:(%ld) %f", gras_os_myname(),
+ xbt_procname(),gras_os_getpid(),gras_os_time()-begin_of_time);