From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 14 Nov 2001 14:29:54 +0000 (+0000)
Subject: HTTP_GETTER_URIS_DBM added
X-Git-Tag: mlminidom_0_2_2~86
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=fe80ede918357f2f3c27133d27319bf026d71163;p=helm.git

HTTP_GETTER_URIS_DBM added
---

diff --git a/helm/http_getter/http_getter.pl.in b/helm/http_getter/http_getter.pl.in
index 8a66df336..f3484d688 100755
--- a/helm/http_getter/http_getter.pl.in
+++ b/helm/http_getter/http_getter.pl.in
@@ -66,6 +66,7 @@ my $rdf_indexname = $ENV{'HTTP_GETTER_RDF_INDEXNAME'} ||
 my $xslt_indexname = $ENV{'HTTP_GETTER_XSLT_INDEXNAME'} ||
   "xslt_index.txt";
 $servers_file = $ENV{'HTTP_GETTER_SERVERS_FILE'} || $servers_file;
+$uris_dbm = $ENV{'HTTP_GETTER_URIS_DBM'} || $uris_dbm;
   
 # </move_to_conf_file>