]> matita.cs.unibo.it Git - helm.git/commitdiff
tmpdir ==> tmp_dir, minor fixes waiting for the stable version
authorLuca Padovani <luca.padovani@unito.it>
Tue, 13 Feb 2001 12:11:48 +0000 (12:11 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Tue, 13 Feb 2001 12:11:48 +0000 (12:11 +0000)
helm/http_getter/http_getter.pl.in

index 5710c40ff00015edb15718000efe64f7ec3a2610..85ed00a55e684786b2bb85a92788b3a83d9eccb4 100755 (executable)
@@ -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