#893: serverdomain value set