0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

make sure gui::empty_menu is destroyed before...

Browse source 
...the game_controller's main_event_context_
This commit is contained in:
Patrick Parker 2006-11-19 05:52:55 +00:00
parent 2abd619502
commit f6f25dbd46
1 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
src/game.cpp
View file

@ -76,6 +76,7 @@ class game_controller
{
public:
game_controller(int argc, char** argv);
~game_controller();
display& disp();
@ -1570,6 +1571,11 @@ void game_controller::play_replay()
}
}
game_controller::~game_controller()
{
delete gui::empty_menu;
}
int play_game(int argc, char** argv)
{
const int start_ticks = SDL_GetTicks();
@ -1913,7 +1919,6 @@ int main(int argc, char** argv)
std::cerr << "Unhandled exception. Exiting\n";
}
#endif
delete gui::empty_menu;
filesystem_close();
return 0;