diff -r 7c90e6132015 -r 10e98eab6f85 webengine/osswebengine/MemoryManager/Src/MemoryManager.cpp
--- a/webengine/osswebengine/MemoryManager/Src/MemoryManager.cpp	Fri May 08 08:25:06 2009 +0300
+++ b/webengine/osswebengine/MemoryManager/Src/MemoryManager.cpp	Fri Jul 03 15:54:40 2009 +0100
@@ -31,6 +31,17 @@
 //  initializing a global memory pool.
 static CMemoryPool *s_pool = 0;
 
+struct cleanupMemoryPool {
+    ~cleanupMemoryPool() {
+    	if(s_pool)
+    		{
+    		delete s_pool;
+    		s_pool = NULL;
+    		}
+    }
+};
+static cleanupMemoryPool deleteMemoryPool;
+
 //-----------------------------------------------------------------------------
 // Pool() - a utility function for accessing the right memory pool
 //-----------------------------------------------------------------------------