From a514616177a05cc2cbbbccf03a9a59472c55449a Mon Sep 17 00:00:00 2001
From: Mike Kremer <mkremer@cs.rwth-aachen.de>
Date: Tue, 27 Apr 2010 11:31:33 +0000
Subject: [PATCH] Call clearAll() before closing OpenFlipper to make sure all
 object's destructors are called.

git-svn-id: http://www.openflipper.org/svnrepo/OpenFlipper/branches/Free@9164 383ad7c9-94d9-4d36-a494-682f7c89f535
---
 Core/Core.cc | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/Core/Core.cc b/Core/Core.cc
index d76345f1..3df7f837 100644
--- a/Core/Core.cc
+++ b/Core/Core.cc
@@ -982,7 +982,11 @@ Core::writeOnExit() {
 
 void Core::slotExit() {
   writeOnExit();
-
+  
+  // Call clearAll() before closing application
+  // in order to call all object's destructors...
+  clearAll();
+  
   if (logFile_)
     logFile_->close();
 
-- 
GitLab