+static const char* xbt_logappender_verbose_information(void) {
+ static char buffer[256];
+
+ if(strlen(gras_os_myname()))
+ sprintf(buffer,"%s:%s:(%d) %g", gras_os_myname(),
+ xbt_procname(),gras_os_getpid(),gras_os_time());
+ else
+ buffer[0]=0;
+
+ return buffer;
+}
+