aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJürgen Doser <jurgen.doser@gmail.com>2013-01-22 19:00:48 +0100
committerJürgen Doser <jurgen.doser@gmail.com>2013-01-22 19:05:46 +0100
commitf0998612457ddc3027618e7e446ed968a14385e7 (patch)
tree5f6dc09f3e298f2db1cc9b3761aff77e1d662ff6
parentf214940c96d9fef72b06a65641d01115a582b098 (diff)
downloadminetest-f0998612457ddc3027618e7e446ed968a14385e7.tar.gz
minetest-f0998612457ddc3027618e7e446ed968a14385e7.tar.bz2
minetest-f0998612457ddc3027618e7e446ed968a14385e7.zip
Make sure that settings are written to config file when settings are removed.
Previously, settings where only written when a value has changed, and removal of a setting value didn't count as a change.
-rw-r--r--src/settings.h4
1 files changed, 3 insertions, 1 deletions
diff --git a/src/settings.h b/src/settings.h
index 6d6db220c..2b46676c6 100644
--- a/src/settings.h
+++ b/src/settings.h
@@ -244,7 +244,9 @@ public:
updated[name] = true;
}
-
+ else //file contains a setting which is not in m_settings
+ value_changed=true;
+
return true;
}