* Remove http:// from the proxy server string.

Patch by: "michiel bakker" <michiel_bakker@hotmail.com>

diff --git a/pear/PEAR/Common.php b/pear/PEAR/Common.php
index ca06a96fb118a7502653c57f155f41c3f2e4e28d..18f6b9a0ad862270e4320be5bd0bd804af1bc4d6 100644 (file)
--- a/pear/PEAR/Common.php
+++ b/pear/PEAR/Common.php
@@ -1432,6 +1432,7 @@ class PEAR_Common extends PEAR
         }
         $proxy_host = $proxy_port = null;
         if ($proxy = $config->get('http_proxy')) {
+            $proxy = str_replace('http://', '', $proxy);
             list($proxy_host, $proxy_port) = explode(':', $proxy);
             if (empty($proxy_port)) {
                 $proxy_port = 8080;