X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/56fd6af5b42030d3b9e5ef6fc5f3632961a9db90..2bab61b2f25f18d18ecdeb972745ce02af1885a9:/src/instr/instr_msg_vm.c

diff --git a/src/instr/instr_msg_vm.c b/src/instr/instr_msg_vm.c
index 441c115dd8..afbd5287bf 100644
--- a/src/instr/instr_msg_vm.c
+++ b/src/instr/instr_msg_vm.c
@@ -66,14 +66,15 @@ void TRACE_msg_vm_create (const char *vm_name, msg_host_t host)
   }
 }
 
-void TRACE_msg_vm_kill(msg_vm_t vm)
-{
-  if (TRACE_msg_vm_is_enabled()){
+void TRACE_msg_vm_kill(msg_vm_t vm) {
+  if (TRACE_msg_vm_is_enabled()) {
     int len = INSTR_DEFAULT_STR_SIZE;
     char str[INSTR_DEFAULT_STR_SIZE];
 
     //kill means that this vm no longer exists, let's destroy it
-    PJ_container_free (PJ_container_get (instr_vm_id(vm, str, len)));
+    container_t process = PJ_container_get (instr_vm_id(vm, str, len));
+    PJ_container_remove_from_parent (process);
+    PJ_container_free (process);
   }
 }