]> matita.cs.unibo.it Git - helm.git/commitdiff
HTTP_GETTER_DTD_BASE_DIR configuration parameter added
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 7 Oct 2002 16:11:02 +0000 (16:11 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 7 Oct 2002 16:11:02 +0000 (16:11 +0000)
helm/http_getter/http_getter.pl.in

index f4c11e172a94d466f5395242afaf292ba6fdc634..05c76bd8a55f70b0588c0b4580c89df95431bcf7 100755 (executable)
@@ -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;
   
 # </move_to_conf_file>
 
@@ -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");