summaryrefslogtreecommitdiffhomepage
path: root/mixlib/mix_vm.c
diff options
context:
space:
mode:
authorJose Antonio Ortega Ruiz <jao@gnu.org>2001-05-07 23:02:25 +0000
committerJose Antonio Ortega Ruiz <jao@gnu.org>2001-05-07 23:02:25 +0000
commit93d52e994ccf5597413180c5a3c401286112891d (patch)
treee257f69fd1fe3bf47f696de64b64d1f06321f391 /mixlib/mix_vm.c
parent20e1cc2617c6774ce646fcf9f60029dd131442d4 (diff)
downloadmdk-93d52e994ccf5597413180c5a3c401286112891d.tar.gz
mdk-93d52e994ccf5597413180c5a3c401286112891d.tar.bz2
mix_device_t: virtual destructor added
Diffstat (limited to 'mixlib/mix_vm.c')
-rw-r--r--mixlib/mix_vm.c6
1 files changed, 6 insertions, 0 deletions
diff --git a/mixlib/mix_vm.c b/mixlib/mix_vm.c
index 39b3e6f..4446bcf 100644
--- a/mixlib/mix_vm.c
+++ b/mixlib/mix_vm.c
@@ -57,6 +57,12 @@ vm_reset_ (mix_vm_t *vm)
mix_src_file_delete (vm->src_file);
vm->src_file = NULL;
}
+ for (k = 0; k < BD_NO_; ++k)
+ if (vm->devices[k] != NULL)
+ {
+ mix_device_delete (vm->devices[k]);
+ vm->devices[k] = NULL;
+ }
bp_clear_all_ (vm);
}