Prevent TRACE_msg_process_kill to be called more than once

diff --git a/src/msg/msg_process.c b/src/msg/msg_process.c
index 96a9cf4..fecae36 100644 (file)
--- a/src/msg/msg_process.c
+++ b/src/msg/msg_process.c
@@ -198,9 +198,6 @@ m_process_t MSG_process_create_with_environment(const char *name,
 
 void MSG_process_kill_from_SIMIX(smx_process_t p)
 {
 
 void MSG_process_kill_from_SIMIX(smx_process_t p)
 {

-#ifdef HAVE_TRACING
-  TRACE_msg_process_kill(p);
-#endif

   MSG_process_kill(p);
 }
 
   MSG_process_kill(p);
 }
 


@@ -211,10 +208,6 @@ void MSG_process_kill_from_SIMIX(smx_process_t p)
  */
 void MSG_process_kill(m_process_t process)
 {
  */
 void MSG_process_kill(m_process_t process)
 {

-#ifdef HAVE_TRACING
-  TRACE_msg_process_kill(process);
-#endif
-

 //  /* FIXME: why do we only cancel communication actions? is this useful? */
 //  simdata_process_t p_simdata = simcall_process_get_data(process);
 //  if (p_simdata->waiting_task && p_simdata->waiting_task->simdata->comm) {
 //  /* FIXME: why do we only cancel communication actions? is this useful? */
 //  simdata_process_t p_simdata = simcall_process_get_data(process);
 //  if (p_simdata->waiting_task && p_simdata->waiting_task->simdata->comm) {