]> matita.cs.unibo.it Git - helm.git/commitdiff
Bug fixed: the result was declared as gzipped even when it was not so
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Apr 2001 16:01:27 +0000 (16:01 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Apr 2001 16:01:27 +0000 (16:01 +0000)
helm/http_getter/http_getter.pl.in

index 924ddbb1930e966ef1c810e5f1633d597e31ca44..5efbd8836f4a14112a22bcc0365367282ac7f3fd 100755 (executable)
@@ -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};