Hi, patch applied now, thanks!
On Sat, Jan 09, 2021 at 03:24:36PM -0700, Thayne McCombs wrote: > > I'm just wondering if it technically would be necessary to remove the > server from the tree or not? > > I don't think so. But I'm not sure. I don't think it's strictly necessary, however I really hate keeping anything indexed somewhere if it doesn't have to be there or if it's wrong. For example keeping a server with no address indexed in a tree based on its previous address can be a problem if we reuse this node for anything else (e.g. this could be used for stickiness like RDP cookies or other stuff). So better keep address-less servers out of the tree. Willy
