#include <exception>
#include <locale.h>
-#include "utils/exceptions.h"
#include "defines.h"
#include "app/globals.h"
#include "app/setup.h"
#include "video/surface.h"
#include "tile_manager.h"
#include "app/gettext.h"
-#include "player.h"
#include "misc.h"
#include "utils/configfile.h"
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;
}