From: schnorr <schnorr@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Mon, 13 Dec 2010 16:44:24 +0000 (+0000)
Subject: [trace] properly destroy the tracing platform
X-Git-Tag: v3.6_beta2~763
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/7407f1c17c13f27f874c03374f38e3317fbe2bde

[trace] properly destroy the tracing platform

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

diff --git a/src/instr/instr_surf.c b/src/instr/instr_surf.c
index b790425c3d..9dee8321c9 100644
--- a/src/instr/instr_surf.c
+++ b/src/instr/instr_surf.c
@@ -29,6 +29,7 @@ void TRACE_surf_alloc(void)
 void TRACE_surf_release(void)
 {
   TRACE_surf_resource_utilization_release();
+  instr_destroy_platform();
 }
 
 static void TRACE_surf_set_resource_variable(double date,