+ SDL_FillRect(screen, 0, 0);
+ SDL_Flip(screen);
+
+ unloadshared();
+ st_general_free();
+ TileManager::destroy_instance();
+ #ifdef DEBUG
+ Surface::debug_check();
+ #endif
+ st_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;
+ }