Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[trace] dump *before* destroy container, correct trace file
authorschnorr <schnorr@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Mon, 3 Jan 2011 14:49:15 +0000 (14:49 +0000)
committerschnorr <schnorr@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Mon, 3 Jan 2011 14:49:15 +0000 (14:49 +0000)
commit1d7a1974cb78c7346d819b6438818f89190330db
treeac7a455a208c792f1cf7075bc48eb12a2e733774
parenta181cc2634030aa03273398e72875a4d2033d343
[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
src/instr/instr_paje.c