catch exceptions in preferences manager destructor

wesnoth · Jun 8, 2014 · 55d5a11 · 55d5a11
1 parent 9da0b4c
commit 55d5a11
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/src/preferences.cpp b/src/preferences.cpp
@@ -81,12 +81,14 @@ base_manager::base_manager()
 
 base_manager::~base_manager()
 {
-	if (no_preferences_save) return;
+	try {
+		if (no_preferences_save) return;
 
-	// Set the 'hidden' preferences.
-	prefs["scroll_threshold"] = mouse_scroll_threshold();
+		// Set the 'hidden' preferences.
+		prefs["scroll_threshold"] = mouse_scroll_threshold();
 
-	write_preferences();
+		write_preferences();
+	} catch (...) {}
 }
 
 void write_preferences()