WP_PROXY being ignored?

Hi,

I have WP up and running happily on a cluster of machines and all seems to be well. There is however one issue in that the proxy setting in my wp-config.php are being ignored.

Currently they are set as follows:

define(‘WP_PROXY_HOST’, ‘194.82.211.211’);
define(‘WP_PROXY_PORT’, ‘3128’);

Near the top of the file.

Running an update check, themes load or access plugins fails.

Checking my network firewall I can see that the host WP is running on is clearly ignoring the proxy settings and is attempting to go direct.

I have searched through the source code and the only only places that the strings WP_PROXY_HOST and WP_PROXY_PORT are using are in the wp_config.php and wp-includes/class-http.php – the second I have not touched.

At this point I am confused about why WP is ignoring the settings, is there something else that needs setting?

Many thanks

Paul