I'm having an issue where if I change the server name through RTB's server settings GUI, it doesn't update it truly (like the master server doesn't get the new name). I have to forcefully push the default server settings gui and change it that way. Why would this be happening?