aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/main.cc7
1 files 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 @@
20// FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER 20// FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
21// DEALINGS IN THE SOFTWARE. 21// DEALINGS IN THE SOFTWARE.
22 22
23// $Id: main.cc,v 1.25 2003/12/09 08:48:08 rathnor Exp $ 23// $Id: main.cc,v 1.26 2004/01/11 13:12:02 fluxgen Exp $
24 24
25#include "fluxbox.hh" 25#include "fluxbox.hh"
26#include "I18n.hh" 26#include "I18n.hh"
27#include "version.h" 27#include "version.h"
28#include "defaults.hh" 28#include "defaults.hh"
29
29#include "FbTk/Theme.hh" 30#include "FbTk/Theme.hh"
30 31
31#ifdef HAVE_CONFIG_H 32#ifdef HAVE_CONFIG_H
@@ -253,7 +254,9 @@ int main(int argc, char **argv) {
253 cerr<<"Fluxbox: Unknown error."<<endl; 254 cerr<<"Fluxbox: Unknown error."<<endl;
254 abort(); 255 abort();
255 } 256 }
256 257 // destroy fluxbox
258 fluxbox.reset(0);
259
257 // restore cout and cin streams 260 // restore cout and cin streams
258 if (outbuf != 0) 261 if (outbuf != 0)
259 cout.rdbuf(outbuf); 262 cout.rdbuf(outbuf);