From 2eaf96e3bfe7fd9052c8c0896bcf3f40cbcd2ce4 Mon Sep 17 00:00:00 2001
From: scrawl <scrawl@baseoftrash.de>
Date: Wed, 2 Mar 2016 21:58:11 +0100
Subject: [PATCH] Make ResourceManager destructor virtual

---
 components/resource/resourcemanager.cpp | 4 ++++
 components/resource/resourcemanager.hpp | 1 +
 2 files changed, 5 insertions(+)

diff --git a/components/resource/resourcemanager.cpp b/components/resource/resourcemanager.cpp
index 0a9784e6b..d19d9cf80 100644
--- a/components/resource/resourcemanager.cpp
+++ b/components/resource/resourcemanager.cpp
@@ -13,6 +13,10 @@ namespace Resource
 
     }
 
+    ResourceManager::~ResourceManager()
+    {
+    }
+
     void ResourceManager::updateCache(double referenceTime)
     {
         mCache->updateTimeStampOfObjectsInCacheWithExternalReferences(referenceTime);
diff --git a/components/resource/resourcemanager.hpp b/components/resource/resourcemanager.hpp
index 34fce0145..b69256834 100644
--- a/components/resource/resourcemanager.hpp
+++ b/components/resource/resourcemanager.hpp
@@ -18,6 +18,7 @@ namespace Resource
     {
     public:
         ResourceManager(const VFS::Manager* vfs);
+        virtual ~ResourceManager();
 
         /// Clear cache entries that have not been referenced for longer than expiryDelay.
         virtual void updateCache(double referenceTime);