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

Patch by: "michiel bakker" <michiel_bakker@hotmail.com>
php · Jul 4, 2002 · 1b1d5da · 1b1d5da
1 parent b0ed560
commit 1b1d5da
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/pear/PEAR/Common.php b/pear/PEAR/Common.php
@@ -1432,6 +1432,7 @@ function downloadHttp($url, &$ui, $save_dir = '.', $callback = null)
         }
         $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;