Use the server_set_property() function to set property values in all cases.

This commit is contained in:
Tristan Donkers 2015-08-23 10:00:51 +10:00
parent a0850d7595
commit 4f85edb958

View File

@ -1814,11 +1814,11 @@ server_property() {
if [ ! -z "$from_conf" ]; then
# If the value is found in the server conf file (server.properties)
# then set that as value for the property
eval SERVER_$2[$1]=\"$from_conf\"
server_set_property "$1" "$2" "$from_conf"
else
# Otherwise use the default value
manager_property "DEFAULT_$2"
eval SERVER_$2[$1]=\"\$SETTINGS_DEFAULT_$2\"
server_set_property "$1" "$2" "\$SETTINGS_DEFAULT_$2"
fi
### Post-changes to variables after loading