From bdff7a608f635da64986f6c54494e8dabe4ed686 Mon Sep 17 00:00:00 2001
From: schnorr <schnorr@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Tue, 28 Dec 2010 23:19:50 +0000
Subject: [PATCH] [trace] have to dump the buffer, trace events might use the
 container that is about to be freed

details:
- this only affects simulators with process migration
- this might break the timestamps order in the trace file,
a better solution consists in cleaning out from the buffer
only the affected events

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9327 48e7efb5-ca39-0410-a469-dd3cf9ba447f
---
 src/instr/instr_paje.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/instr/instr_paje.c b/src/instr/instr_paje.c
index e6edfda1f3..98cbc479a7 100644
--- a/src/instr/instr_paje.c
+++ b/src/instr/instr_paje.c
@@ -265,6 +265,8 @@ void destroyContainer (container_t container)
   //trace my destruction
   new_pajeDestroyContainer(container);
 
+  TRACE_paje_dump_buffer();
+
   //free
   xbt_free (container->name);
   xbt_free (container->id);
-- 
2.20.1