serverName to server.properties