p += sprintf(res,"[");;
/* Display the proc info if available */
if(strlen(xbt_procname()))
- p += sprintf(p,"%s:%s:(%d):%s ",
- gras_os_myname(), xbt_procname(),(*xbt_getpid)(),xbt_thread_self_name());
+ p += sprintf(p,"%s:%s:(%d) ",
+ gras_os_myname(), xbt_procname(),(*xbt_getpid)());
/* Display the date */
p += sprintf(p,"%f] ", gras_os_time()-begin_of_time);