model-checker : rename cfg flag for state comparison reduction with storage of visite...

[simgrid.git] / src / xbt / xbt_log_layout_simple.c

diff --git a/src/xbt/xbt_log_layout_simple.c b/src/xbt/xbt_log_layout_simple.c
index 30108d4..d42d7f5 100644 (file)
--- a/src/xbt/xbt_log_layout_simple.c
+++ b/src/xbt/xbt_log_layout_simple.c
@@ -40,11 +40,16 @@ static int xbt_log_layout_simple_doit(xbt_log_layout_t l,
 
   /* Display the proc info if available */
   procname = xbt_procname();
-  if (*procname) {
+  if (procname && *procname) {
     len = snprintf(p, rem_size, "%s:%s:(%d) ",
                    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] ",