Gestion d'un proxy
Bonjour,
Petit bug introduit par r22546 qui provoque un dysfonctionnement en cas d'utilisation d'un proxy. La correction est triviale mais j'ai tout de même fait un diff.....
--- ecrire/inc/distant.php.ORIG 2016-01-22 10:33:40.000000000 +0100 +++ ecrire/inc/distant.php 2016-01-22 10:33:57.000000000 +0100 `` -1095,7 +1095,7 `` $http_proxy = isset($GLOBALS['meta']["http_proxy"]) ? $GLOBALS['meta']["http_proxy"] : null; } if (is_null($http_noproxy)) { - $http_noproxy = isset($GLOBALS['meta']["http_noproxy"]) ? $GLOBALS['meta']["http_proxy"] : null; + $http_noproxy = isset($GLOBALS['meta']["http_noproxy"]) ? $GLOBALS['meta']["http_noproxy"] : null; } $domain = substr($host, strpos($host, '.'));