catch exceptions in preferences manager destructor
catch exceptions from multiplayer_create destructor
catch exceptions from playmp_controller destructor
catch exceptions in game_display, game_display::fake_unit dtor's
catch exceptions in temporary mover, placer, remover dtor's
catch exceptions thrown in ai::holder dtor
catch exceptions thrown in whiteboard highlighter dtor
catch exceptions thrown in whiteboard temporary unit hider dtor
catch exceptions thrown in whiteboard mapbuilder dtor
catch exceptions thrown in tooltips manager dtor
catch exceptions thrown in unit dtor
catch exceptions thrown in unit_movement_resetter dtor
catch exceptions thrown in server man_manager dtor
catch exceptions thrown from replay_network_sender dtor
catch exceptions thrown from playturn_network_adapter dtor
catch exceptions thrown from multiplayer_configure dtor
catch exceptions thrown from multiplayer_wait dtor
catch exceptions thrown from game_controller dtor
catch exceptions thrown from server/game dtor
catch exceptions thrown from whiteboard future_map dtor