From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 17 Nov 2000 13:16:22 +0000 (+0000)
Subject: Some bugs fixed
X-Git-Tag: nogzip~160
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ad8d3794f840d9f70759c8e599c75dab6ef74a02;p=helm.git

Some bugs fixed
---

diff --git a/helm/http_getter/http_getter.pl b/helm/http_getter/http_getter.pl
index 1d99e65ce..884bbc307 100755
--- a/helm/http_getter/http_getter.pl
+++ b/helm/http_getter/http_getter.pl
@@ -5,7 +5,7 @@ use Env;
 my $HELM_CONFIGURATION_PREFIX = $ENV{"HELM_CONFIGURATION_PREFIX"};
 my $HELM_CONFIGURATION_PATH =
  $HELM_CONFIGURATION_PREFIX."/local/lib/helm/configuration.pl";
-# next require defines: $helm_dir, $html_link
+# next require defines: $helm_dir, $html_link, $dtd_dir, $uris_dbm
 require $HELM_CONFIGURATION_PATH;
 
 
@@ -21,6 +21,7 @@ my $d = new HTTP::Daemon LocalPort => 8081;
 tie(%map, 'DB_File', $uris_dbm.".db", O_RDONLY, 0664);
 print "Please contact me at: <URL:", $d->url, ">\n";
 print "helm_dir: $helm_dir\n";
+print "dtd_dir: $dtd_dir\n";
 print "urls_of_uris.db: $uris_dbm.db\n";
 $SIG{CHLD} = "IGNORE"; # do not accumulate defunct processes
 while (my $c = $d->accept) {
@@ -268,7 +269,7 @@ EOT
             $c->send_response($res);
          } elsif ($http_method eq 'GET' and $http_path eq "/getdtd") {
             my $filename = $cicuri;
-            $filename = $helm_dir."/dtd/".$filename;
+            $filename = $dtd_dir."/".$filename;
             print "DTD: $cicuri ==> ($filename)\n";
             if (stat($filename)) {
                print "Using local copy\n";