]> matita.cs.unibo.it Git - helm.git/commitdiff
Changed default content type from "text/plain" to "text/xml".
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 16 Mar 2001 17:10:53 +0000 (17:10 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 16 Mar 2001 17:10:53 +0000 (17:10 +0000)
helm/http_getter/Makefile.in
helm/http_getter/http_getter.pl.in

index 30189c205627880413e8db521eaf49908f7f5e8f..26771201b6e0b868abfadb0f78b51b42bc815548 100644 (file)
@@ -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:
 
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");
  }