From ddd2cd1311463b648da4710968ca743194706085 Mon Sep 17 00:00:00 2001
From: fluxgen <fluxgen>
Date: Sun, 11 Jan 2004 13:12:02 +0000
Subject: destroy fluxbox

---
 src/main.cc | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/main.cc b/src/main.cc
index fde14cb..1afc1ca 100644
--- a/src/main.cc
+++ b/src/main.cc
@@ -20,12 +20,13 @@
 // FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
 // DEALINGS IN THE SOFTWARE.
 
-// $Id: main.cc,v 1.25 2003/12/09 08:48:08 rathnor Exp $
+// $Id: main.cc,v 1.26 2004/01/11 13:12:02 fluxgen Exp $
 
 #include "fluxbox.hh"
 #include "I18n.hh"
 #include "version.h"
 #include "defaults.hh"
+
 #include "FbTk/Theme.hh"
 
 #ifdef HAVE_CONFIG_H
@@ -253,7 +254,9 @@ int main(int argc, char **argv) {
         cerr<<"Fluxbox: Unknown error."<<endl;
         abort();
     }
- 
+    // destroy fluxbox
+    fluxbox.reset(0);
+
     // restore cout and cin streams
     if (outbuf != 0)
         cout.rdbuf(outbuf);
-- 
cgit v0.11.2