--- interface.cc | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) --- a/interface.cc +++ b/interface.cc @@ -123,8 +123,12 @@ void _init() __attribute__ ((destructor)) void _fini() { - for (ulong i = 0; i < N; ++i) - delete descriptors[i]; + for (ulong i = 0; i < N; ++i) { + if (descriptors[i]) { + delete descriptors[i]; + descriptors[i] = NULL; + } + } } /* /////////////////////////////////////////////////////////////////////// */