X-Git-Url: https://git.verplant.org/?a=blobdiff_plain;f=src%2Fsupertux.cpp;h=46efc59ee861084bb1e8c5fe670377cc994c40e6;hb=ad4cc7039db0c05354df820cbd62f5ca7e651193;hp=23a3fcf214eaa89a8b21e8576a2216f09e8b7e68;hpb=1c924935a8b61468d6f57ba62f3f9e76fe41d2eb;p=supertux.git

diff --git a/src/supertux.cpp b/src/supertux.cpp
index 23a3fcf21..46efc59ee 100644
--- a/src/supertux.cpp
+++ b/src/supertux.cpp
@@ -25,11 +25,8 @@
 #include <exception>
 #include <locale.h>
 
-#include "utils/exceptions.h"
-#include "defines.h"
 #include "app/globals.h"
 #include "app/setup.h"
-#include "intro.h"
 #include "title.h"
 #include "gameloop.h"
 #include "leveleditor.h"
@@ -39,7 +36,6 @@
 #include "video/surface.h"
 #include "tile_manager.h"
 #include "app/gettext.h"
-#include "player.h"
 #include "misc.h"
 #include "utils/configfile.h"
 
@@ -55,7 +51,7 @@ int main(int argc, char * argv[])
     Setup::parseargs(argc, argv);
 
     Setup::audio();
-    Setup::video(800, 600);
+    Setup::video(screen_width, screen_height);
     Setup::joystick();
     Setup::general();
     st_menu();
@@ -95,14 +91,11 @@ int main(int argc, char * argv[])
     unloadshared();
     Setup::general_free();
     st_menu_free();
-    TileManager::destroy_instance();
 #ifdef DEBUG
     Surface::debug_check();
 #endif
     Termination::shutdown();
 #ifndef DEBUG  // we want to see the backtrace in gdb when in debug mode
-  } catch (SuperTuxException &e) {
-    std::cerr << "Unhandled SuperTux exception:\n  " << e.what_file() << ":" << e.what_line() << ": " << e.what() << std::endl;
   } catch (std::exception &e) {
     std:: cerr << "Unhandled exception: " << e.what() << std::endl;
   }