Enable timestamping of messages emitted out of any user process (such as the terminai...

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@2248 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/src/xbt/log_default_appender.c b/src/xbt/log_default_appender.c
index 0126353..44302a0 100644 (file)
--- a/src/xbt/log_default_appender.c
+++ b/src/xbt/log_default_appender.c
@@ -44,7 +44,7 @@ static const char* xbt_logappender_verbose_information(void) {
     sprintf(buffer,"%s:%s:(%ld) %f", gras_os_myname(),
            xbt_procname(),gras_os_getpid(),gras_os_time()-begin_of_time);
   else 
-    buffer[0]=0;
+    sprintf(buffer,"%f", gras_os_time()-begin_of_time);
   
   return buffer;
 }