[PATCH] timeserver: Update nameservers when DNS changed.