[trace] have to dump the buffer, trace events might use the container that is about...

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

diff --git a/src/instr/instr_paje.c b/src/instr/instr_paje.c
index e6edfda..98cbc47 100644 (file)
--- 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 my destruction
   new_pajeDestroyContainer(container);
 

+  TRACE_paje_dump_buffer();
+

   //free
   xbt_free (container->name);
   xbt_free (container->id);
   //free
   xbt_free (container->name);
   xbt_free (container->id);