#893: serverdomain address set