[#858] fix server_config modification code