// ----------------------------------------------------------------------------- // ArchiveManager class destructor // ----------------------------------------------------------------------------- ArchiveManager::~ArchiveManager() { clearAnnouncers(); }
/* ArchiveManager::~ArchiveManager * ArchiveManager class destructor *******************************************************************/ ArchiveManager::~ArchiveManager() { clearAnnouncers(); if (program_resource_archive) delete program_resource_archive; if (base_resource_archive) delete base_resource_archive; }