]> granicus.if.org Git - php/commitdiff
- Fix download with uncompress option
authorPierre Joye <pajoye@php.net>
Tue, 5 Aug 2003 23:17:40 +0000 (23:17 +0000)
committerPierre Joye <pajoye@php.net>
Tue, 5 Aug 2003 23:17:40 +0000 (23:17 +0000)
Nota Bene, we should think to use the same name for pearweb and pear cmd

pear/PEAR/Command/Remote.php

index 45494874dbe5e08b8f4efe0224040a8a7a5aa9b5..205b3dd8b68d2d1a79eed474777049e2632f8b3f 100644 (file)
@@ -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];
         }