+static const char* xbt_logappender_verbose_information(void) {
+ static char buffer[256];
+ static double begin_of_time = -1;
+
+ if (begin_of_time<0)
+ begin_of_time=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);
+ else
+ sprintf(buffer,"%f", gras_os_time()-begin_of_time);
+
+ return buffer;
+}
+
+static void append_file(xbt_log_appender_t this_appender,
+ xbt_log_event_t ev,