From 1b1d5da9074a5f69a9f68525025a8e09bc9674b6 Mon Sep 17 00:00:00 2001
From: Martin Jansen <mj@php.net>
Date: Thu, 4 Jul 2002 20:28:56 +0000
Subject: [PATCH] * Remove http:// from the proxy server string.

Patch by: "michiel bakker" <michiel_bakker@hotmail.com>
---
 pear/PEAR/Common.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pear/PEAR/Common.php b/pear/PEAR/Common.php
index ca06a96fb118a..18f6b9a0ad862 100644
--- 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;