[trace] debug messages for event buffering and tracing

[simgrid.git] / src / instr / instr_paje.c

diff --git a/src/instr/instr_paje.c b/src/instr/instr_paje.c
index e6edfda..275b57d 100644 (file)
--- a/src/instr/instr_paje.c
+++ b/src/instr/instr_paje.c
@@ -265,6 +265,11 @@ void destroyContainer (container_t container)
   //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();
+  TRACE_paje_dump_buffer();
+
   //free
   xbt_free (container->name);
   xbt_free (container->id);