[trace] dump *before* destroy container, correct trace file

details:
- unconditional dump when any container is destroyed
- this is needed in order to create a consistent trace
for process migration and task gantt-chart

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9346 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/src/instr/instr_paje.c b/src/instr/instr_paje.c
index 33ea5c8..330eb55 100644 (file)
--- a/src/instr/instr_paje.c
+++ b/src/instr/instr_paje.c
@@ -266,13 +266,13 @@ void destroyContainer (container_t container)
 
   DEBUG1("destroy container %s", container->name);
 
 
   DEBUG1("destroy container %s", container->name);
 

-  //trace my destruction
-  new_pajeDestroyContainer(container);
-

   //obligation to dump previous events because they might
   //reference the container that is about to be destroyed
   TRACE_last_timestamp_to_dump = surf_get_clock();
   //obligation to dump previous events because they might
   //reference the container that is about to be destroyed
   TRACE_last_timestamp_to_dump = surf_get_clock();

-  TRACE_paje_dump_buffer(0);
+  TRACE_paje_dump_buffer(1);
+
+  //trace my destruction
+  new_pajeDestroyContainer(container);

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