production-config: Use infra.t, not infra

This works better with some quirk of the networking we seem to now
have after the buster upgrade to the colo systems.

To avoid blocking on resolving that issue, change the the config.

Signed-off-by: Ian Jackson <ian.jackson@eu.citrix.com>

diff --git a/production-config b/production-config
index b7b9a062122387097cf56a82ed4322d178caeca0..6055bd18582810fd95c3f0273bf7528e5365d860 100644 (file)
--- a/production-config
+++ b/production-config
@@ -131,6 +131,7 @@ CoverityToolsStripComponents 1
 #DebianMirrorHost 10.80.16.196
 DebianMirrorProxy http://cache:3143/
 
+HostProp_DhcpWatchMethod leases dhcp3 infra.t:5556
 HostProp_NtpServer infra.test-lab.xenproject.org
 
 DebianPreseed= <<'END'