From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 4 Apr 2001 16:01:27 +0000 (+0000)
Subject: Bug fixed: the result was declared as gzipped even when it was not so
X-Git-Tag: v0_1_2~31
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5d47f034e238123419deac34b530c18fb9540681;p=helm.git

Bug fixed: the result was declared as gzipped even when it was not so
---

diff --git a/helm/http_getter/http_getter.pl.in b/helm/http_getter/http_getter.pl.in
index 924ddbb19..5efbd8836 100755
--- a/helm/http_getter/http_getter.pl.in
+++ b/helm/http_getter/http_getter.pl.in
@@ -153,7 +153,11 @@ while (my $c = $d->accept) {
                my $ciccontent = download($patch_dtd,"cic",$cicurl,$cicfilename,$answerformat);
 
                # Answering the client
+	       if ($answerformat eq "normal") {
+                answer($c,$ciccontent,"text/xml","");
+               } else {
                 answer($c,$ciccontent,"text/xml","x-gzip");
+               }
             }
         } elsif ($http_method eq 'GET' and $http_path eq "/resolve") {
           my $outputurl = $map{$inputuri};