+void __TRACE_msg_process_present (m_process_t process)
+{
+ char alias[200];
+ m_host_t host = NULL;
+ if (!IS_TRACING_PROCESSES) return;
+
+ //updating presence state of this process location
+ host = MSG_process_get_host (process);
+ TRACE_process_alias_container (process, host, alias, 200);
+ pajePushState (MSG_get_clock(), "presence", alias, "presence");
+}
+