production-config: Switch DebianMirrorProxy to port 3143

This is running apt-cacher-ng rather than apt-cacher (which remains on
port 3142 for the time being).  It seems that apt-cacher exposes a bug
(#795284) in Jessie's version of apt.

apt-cacher-ng also seems more popular these days.

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

diff --git a/production-config b/production-config
index 3eed55fb55a9a6055246b37eec574bc04139d072..bb8d2248d6c95bfc1493088f7918cb246b774944 100644 (file)
--- a/production-config
+++ b/production-config
@@ -103,7 +103,7 @@ XenUseUser osstest
 # We use the IP address because Citrix can't manage reliable nameservice
 #DebianMirrorHost debian.uk.xensource.com
 #DebianMirrorHost 10.80.16.196
-DebianMirrorProxy http://cache:3142/
+DebianMirrorProxy http://cache:3143/
 
 HostProp_NtpServer infra.test-lab.xenproject.org