From: Claudio Sacerdoti Coen Date: Mon, 7 Oct 2002 16:11:02 +0000 (+0000) Subject: HTTP_GETTER_DTD_BASE_DIR configuration parameter added X-Git-Tag: BEFORE_METADATA_FOR_SORT_AND_REL~61 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=19aa9435df2f489603d764e2a6194e567f571e62;p=helm.git HTTP_GETTER_DTD_BASE_DIR configuration parameter added --- diff --git a/helm/http_getter/http_getter.pl.in b/helm/http_getter/http_getter.pl.in index f4c11e172..05c76bd8a 100755 --- a/helm/http_getter/http_getter.pl.in +++ b/helm/http_getter/http_getter.pl.in @@ -55,18 +55,14 @@ if (($cachemode ne 'gzipped') and ($cachemode ne 'normal')) { "'normal' or 'gzipped'\n"; } -my $helm_rdf_dir = $ENV{'HTTP_GETTER_RDF_DIR'} || - "/usr/local/helm/rdf_library"; -my $rdf_dbm = $ENV{'HTTP_GETTER_RDF_DBM'} || - "/usr/local/helm/rdf_urls_of_uris.db"; -my $xslt_dbm = $ENV{'HTTP_GETTER_XSLT_DBM'} || - "/usr/local/helm/xslt_urls_of_uris.db"; -my $rdf_indexname = $ENV{'HTTP_GETTER_RDF_INDEXNAME'} || - "rdf_index.txt"; -my $xslt_indexname = $ENV{'HTTP_GETTER_XSLT_INDEXNAME'} || - "xslt_index.txt"; +$helm_rdf_dir = $ENV{'HTTP_GETTER_RDF_DIR'} || $helm_rdf_dir; +$rdf_dbm = $ENV{'HTTP_GETTER_RDF_DBM'} || $rdf_dbm; +$xslt_dbm = $ENV{'HTTP_GETTER_XSLT_DBM'} || $xslt_dbm; +$rdf_indexname = $ENV{'HTTP_GETTER_RDF_INDEXNAME'} || $rdf_indexname; +$xslt_indexname = $ENV{'HTTP_GETTER_XSLT_INDEXNAME'} || $xslt_indexname; $servers_file = $ENV{'HTTP_GETTER_SERVERS_FILE'} || $servers_file; $uris_dbm = $ENV{'HTTP_GETTER_URIS_DBM'} || $uris_dbm; +$dtdbaseurl = $ENV{'HTTP_GETTER_DTD_BASE_URL'} || $dtdbaseurl; # @@ -120,6 +116,7 @@ print "cache mode: $cachemode\n"; print "indexname: $indexname\n"; print "rdf_indexname: $rdf_indexname\n"; print "xslt_indexname: $xslt_indexname\n"; +print "dtdbaseurl: $dtdbaseurl\n"; print "\n"; $SIG{CHLD} = "IGNORE"; # do not accumulate defunct processes @@ -768,7 +765,7 @@ sub download { # $cont now contained uncompressed data } if ($patch_dtd eq "yes") { - $cont =~ s/DOCTYPE (.*) SYSTEM\s+"http:\/\/www.cs.unibo.it\/helm\/dtd\//DOCTYPE $1 SYSTEM "$myownurl\/getdtd?uri=/g; + $cont =~ s/DOCTYPE (.*) SYSTEM\s+"$dtdbaseurl\//DOCTYPE $1 SYSTEM "$myownurl\/getdtd?uri=/g; } if ($format eq "gz") { gzip($cont,"$basefname.tmp");