- // TODO: define a format field in struct for timestamp, etc.
- // struct DefaultLogAppender* this = (struct DefaultLogAppender*)this0;
-
+ /* TODO: define a format field in struct for timestamp, etc.
+ struct DefaultLogAppender* this = (struct DefaultLogAppender*)this0;*/
+
+ char *procname = (char*)xbt_procname();
+ if (!procname)
+ procname = (char*)"";
+