Do not leave a no-longer valid ThePagePool pointer behind the cleanup.

diff --git a/src/ipc/mem/Pages.cc b/src/ipc/mem/Pages.cc
index f341965f9112183c4a97efd2e59b9d0aebcc7dab..6ae8ed5901c0d2fac5ee811fd53db2510d3ea082 100644 (file)
--- a/src/ipc/mem/Pages.cc
+++ b/src/ipc/mem/Pages.cc
@@ -105,6 +105,7 @@ void SharedMemPagesRr::run(const RunnerRegistry &)
 SharedMemPagesRr::~SharedMemPagesRr()
 {
     delete ThePagePool;
+    ThePagePool = NULL;
     if (IamMasterProcess())
         Ipc::Mem::PagePool::Unlink(PagePoolId);
 }