]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/http_getter.pl.in
Bug fixed: the result was declared as gzipped even when it was not so
[helm.git] / 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};