From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 12 Nov 2001 15:08:20 +0000 (+0000)
Subject: Bug fixed.
X-Git-Tag: mlminidom_0_2_2~103
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=47ed689d3cb6aace3fffd51f3d6b9c5d247508da;p=helm.git

Bug fixed.
---

diff --git a/helm/http_getter/configure.in b/helm/http_getter/configure.in
index 24a2fda03..2412b1009 100644
--- a/helm/http_getter/configure.in
+++ b/helm/http_getter/configure.in
@@ -3,7 +3,7 @@ AC_INIT(http_getter.pl.in)
 PACKAGE=helm_http_getter
 MAJOR_VERSION=0
 MINOR_VERSION=1
-MICRO_VERSION=53
+MICRO_VERSION=54
 VERSION=$MAJOR_VERSION.$MINOR_VERSION.$MICRO_VERSION
 
 DEFAULT_HELM_LIB_DIR=/usr/local/lib/helm
diff --git a/helm/http_getter/http_getter.pl.in b/helm/http_getter/http_getter.pl.in
index 48371bd27..4fcc30ba3 100755
--- a/helm/http_getter/http_getter.pl.in
+++ b/helm/http_getter/http_getter.pl.in
@@ -112,9 +112,11 @@ print "style_dir: $style_dir\n";
 print "dtd_dir: $dtd_dir\n";
 print "urls_of_uris db: $uris_dbm\n";
 print "rdf db: $rdf_dbm\n";
+print "xslt db: $xslt_dbm\n";
 print "cache mode: $cachemode\n";
 print "indexname: $indexname\n";
 print "rdf_indexname: $rdf_indexname\n";
+print "xslt_indexname: $xslt_indexname\n";
 print "\n";
 
 $SIG{CHLD} = "IGNORE"; # do not accumulate defunct processes
@@ -258,8 +260,9 @@ while (my $c = $d->accept) {
 
         } elsif ($http_method eq 'GET' and $http_path eq "/getxslt") {
 
+          $url = $xslt_map{$inputuri};
           print "Downloading XSLT ...\n";
-          helm_wget($tmp_dir, $inputuri);
+          helm_wget($tmp_dir, $url);
           print "XSLT downloaded!\n";
           $inputuri =~ s/.*\///;
           my $filename = $tmp_dir . "/" . $inputuri;
@@ -269,7 +272,7 @@ while (my $c = $d->accept) {
           while(<FD>) {
             s/xsl:import\s+href="/xsl:import href="$myownurl\/getxslt?uri=/g;
             s/xsl:include\s+href="/xsl:include href="$myownurl\/getxslt?uri=/g;
-            $cont =. $_;
+            $cont .= $_;
           }
           close(FD);
           answer($c, $cont, "text/xml", "");
@@ -861,7 +864,7 @@ sub update_dbs {
   close XSLT_INDEX;
 
                   # remove temp files
-  foreach my $file in ($idxfile, $rdf_idxfile, $xslt_idxfile) {
+  foreach my $file ($idxfile, $rdf_idxfile, $xslt_idxfile) {
     print "cannot unlink temporary file: $file\n" if (unlink $file) != 1;
   }