]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/http_getter.pl.in
Changed default content type from "text/plain" to "text/xml".
[helm.git] / helm / http_getter / http_getter.pl.in
index b1840c8f11df3fddf3dd37f08a6744a192c01e0f..483b71b1dba642540fe86d0296ecbab2ad56c98f 100755 (executable)
@@ -546,7 +546,7 @@ sub answer {
  my ($c,$cont,$contype) = @_; # $contype must be "normal" or "gz"
  my $res = new HTTP::Response;
  $res->content($cont);
- $res->push_header("Content-Type" => "text/plain");
+ $res->push_header("Content-Type" => "text/xml");
  if ($contype eq "gz") {
   $res->push_header("Content-Encoding" => "x-gzip");
  }