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
commit867d234efdc7d557d0e1dd8a6104dfcf5a01083c (patch)
tree7f7b6e3778b9acee934fd52bfac9a4311befc216 /mixlib/mix_vm.c
parentfd196852447f1a67e4d94900689a27e39fa86f0f (diff)
downloadmdk-867d234efdc7d557d0e1dd8a6104dfcf5a01083c.tar.gz
mdk-867d234efdc7d557d0e1dd8a6104dfcf5a01083c.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);
}