From: Luca Padovani <luca.padovani@unito.it>
Date: Tue, 13 Feb 2001 12:11:48 +0000 (+0000)
Subject: tmpdir ==> tmp_dir, minor fixes waiting for the stable version
X-Git-Tag: v0_1_2~118
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=ef8d99e27438595b185d7a31c7bc01859067b5b8

tmpdir ==> tmp_dir, minor fixes waiting for the stable version
---

diff --git a/helm/http_getter/http_getter.pl.in b/helm/http_getter/http_getter.pl.in
index 5710c40ff..85ed00a55 100755
--- a/helm/http_getter/http_getter.pl.in
+++ b/helm/http_getter/http_getter.pl.in
@@ -36,10 +36,6 @@ if (defined ($HELM_LIB_DIR)) {
    $HELM_LIB_PATH = $DEFAULT_HELM_LIB_DIR."/configuration.pl";
 }
 
-# Let's override the configuration file
-$style_dir = $ENV{"HELM_STYLE_DIR"} if (defined ($ENV{"HELM_STYLE_DIR"}));
-$dtd_dir = $ENV{"HELM_DTD_DIR"} if (defined ($ENV{"HELM_DTD_DIR"}));
-
 # <ZACK>: TODO temporary, move this setting to configuration file
 # set the cache mode, may be "gzipped" or "normal"
 my $cachemode = $ENV{'HTTP_GETTER_CACHE_MODE'} || 'gzipped';
@@ -52,6 +48,10 @@ if (($cachemode ne 'gzipped') and ($cachemode ne 'normal')) {
 # next require defines: $helm_dir, $html_link, $dtd_dir, $uris_dbm
 require $HELM_LIB_PATH;
 
+# Let's override the configuration file
+$style_dir = $ENV{"HELM_STYLE_DIR"} if (defined ($ENV{"HELM_STYLE_DIR"}));
+$dtd_dir = $ENV{"HELM_DTD_DIR"} if (defined ($ENV{"HELM_DTD_DIR"}));
+
 use HTTP::Daemon;
 use HTTP::Status;
 use HTTP::Request;
@@ -510,8 +510,8 @@ sub mk_urls_of_uris {
   print "processing server: $server ...\n";
   chomp $server;
   $debugserver = "http://dalamar.krynn.it/helm"; # FOR DEBUG ONLY: REMOVE ME !!
-  helm_wget($tmpdir, $debugserver."/".$indexname); #get index
-  $idxfile = $tmpdir."/".$indexname;
+  helm_wget($tmp_dir, $server."/".$indexname); #get index
+  $idxfile = $tmp_dir."/".$indexname;
   open (INDEX, "< $idxfile") or
    die "cannot open temporary index file: $idxfile\n";
   while ($line = <INDEX>) { #parse index and add entry to urls_of_uris