diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/main.cc | 7 |
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); |