- sprintf(buffer,"%s:%s:(%d) %g", gras_os_myname(),
- xbt_procname(),gras_process_getpid(),gras_os_time());
+ if(strlen(gras_os_myname()))
+ sprintf(buffer,"%s:%s:(%d) %g", gras_os_myname(),
+ xbt_procname(),gras_process_getpid(),gras_os_time());
+ else
+ buffer[0]=0;
+