From aa78c33d810c3707ecb368a3c38b6052b600c72b Mon Sep 17 00:00:00 2001
From: navarro <navarro@caraja.(none)>
Date: Tue, 17 Jan 2012 15:45:59 +0100
Subject: [PATCH] Also display some information when procname is NULL

---
 src/xbt/xbt_log_layout_simple.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/xbt/xbt_log_layout_simple.c b/src/xbt/xbt_log_layout_simple.c
index 7a81a9c30c..aa6129037a 100644
--- a/src/xbt/xbt_log_layout_simple.c
+++ b/src/xbt/xbt_log_layout_simple.c
@@ -45,6 +45,11 @@ static int xbt_log_layout_simple_doit(xbt_log_layout_t l,
                    gras_os_myname(), procname, xbt_getpid());
     check_overflow(len);
   }
+  else if (!procname)  {
+	len = snprintf(p, rem_size, "%s::(%d) ",
+				   gras_os_myname(), xbt_getpid());
+	check_overflow(len);
+  }
 
   /* Display the date */
   len = snprintf(p, rem_size, "%f] ",
-- 
2.20.1