const char* xbt_procname(void) {
+ const char res = NULL;
m_process_t process = MSG_process_self();
if ((process != NULL) && (process->simdata))
- return MSG_process_get_name(process);
+ res = MSG_process_get_name(process);
+ if (res)
+ return res;
else
return "";
}