From 827e482224eac27291efa425177d048dd603cbb1 Mon Sep 17 00:00:00 2001
From: Pierre Joye <pajoye@php.net>
Date: Tue, 5 Aug 2003 23:17:40 +0000
Subject: [PATCH] - Fix download with uncompress option Nota Bene, we should
 think to use the same name for pearweb and pear cmd

---
 pear/PEAR/Command/Remote.php | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/pear/PEAR/Command/Remote.php b/pear/PEAR/Command/Remote.php
index 45494874dbe..205b3dd8b68 100644
--- a/pear/PEAR/Command/Remote.php
+++ b/pear/PEAR/Command/Remote.php
@@ -282,7 +282,8 @@ parameter.
         }
         $server = $this->config->get('master_server');
         if (!ereg('^http://', $params[0])) {
-            $pkgfile = "http://$server/get/$params[0]";
+            $getoption = isset($options['nocompress'])&&$options['nocompress']==1?'?uncompress=on':'';
+            $pkgfile = "http://$server/get/$params[0]".$getoption;
         } else {
             $pkgfile = $params[0];
         }