From 69e9192a980f78795b576ec7e090534257e54bed Mon Sep 17 00:00:00 2001
From: "Ruben S. Montero" <ruben@pc-ruben.(none)>
Date: Fri, 10 Feb 2012 01:18:46 +0100
Subject: [PATCH] feature-1112: Delete dspool when destoying the Nebula class

---
 include/Nebula.h | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/include/Nebula.h b/include/Nebula.h
index 21068968db..03a928b498 100644
--- a/include/Nebula.h
+++ b/include/Nebula.h
@@ -329,6 +329,11 @@ private:
             delete tpool;
         }
 
+        if ( dspool != 0)
+        {
+            delete tpool;
+        }
+        
         if ( vmm != 0)
         {
             delete vmm;