From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 16 Mar 2001 17:10:53 +0000 (+0000)
Subject: Changed default content type from "text/plain" to "text/xml".
X-Git-Tag: v0_1_2~69
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3370bb5149deef15ba35b913c5641cd3bf9aea01;p=helm.git

Changed default content type from "text/plain" to "text/xml".
---

diff --git a/helm/http_getter/Makefile.in b/helm/http_getter/Makefile.in
index 30189c205..26771201b 100644
--- a/helm/http_getter/Makefile.in
+++ b/helm/http_getter/Makefile.in
@@ -1,9 +1,11 @@
 INSTALL_DIR=@RESOLVED_EXEC_PREFIX@/bin
+CGI_DIR=$(INSTALL_DIR)
 
 all:
 
 install:
 	cp http_getter.pl $(INSTALL_DIR)
+ cp *.cgi $(INSTALL_DIR)
 
 clean:
 
diff --git a/helm/http_getter/http_getter.pl.in b/helm/http_getter/http_getter.pl.in
index b1840c8f1..483b71b1d 100755
--- a/helm/http_getter/http_getter.pl.in
+++ b/helm/http_getter/http_getter.pl.in
@@ -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");
  }