Call read_server_conf() when reading set_property lines in versioning files. This allows overrides of version properties in the server.properties.

This commit is contained in:
Tristan Donkers 2015-08-23 11:32:02 +10:00
parent f4d0c14aab
commit 0a637b82b7

View File

@ -4058,6 +4058,7 @@ console_command() {
# $2: The value of the property
set_property() {
server_set_property "$VERSIONING_SERVER_ID" "$1" "$2"
read_server_conf "$VERSIONING_SERVER_ID" "$1"
}