From: Luca Padovani <luca.padovani@unito.it>
Date: Wed, 21 Feb 2001 15:11:23 +0000 (+0000)
Subject: added the patch on-the-fly for DTDs, fixed the script for launching the getter at... 
X-Git-Tag: v0_1_2~107
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d9954b8d86dc000ee5731c1597c30eeeaa5cf231;p=helm.git

added the patch on-the-fly for DTDs, fixed the script for launching the getter at boot time
---

diff --git a/helm/http_getter/helm-http-getter b/helm/http_getter/helm-http-getter
index 5af004576..2e8488838 100755
--- a/helm/http_getter/helm-http-getter
+++ b/helm/http_getter/helm-http-getter
@@ -22,7 +22,8 @@ RETVAL=0
 case "$1" in
   start)
 	echo -n "Starting HELM http-getter: "
-	daemon /home/lpadovan/miohelm/http_getter/http_getter.pl &
+	export HELM_LIB_DIR=/projects/helm/on-line/local/lib/helm
+	daemon /projects/helm/http_getter/http_getter.pl &
 	RETVAL=$?
 	echo
 	[ $RETVAL -eq 0 ] && touch /var/lock/subsys/http_getter.pl
diff --git a/helm/http_getter/http_getter.pl.in b/helm/http_getter/http_getter.pl.in
index e6dde7f6e..8f2da8ea0 100755
--- a/helm/http_getter/http_getter.pl.in
+++ b/helm/http_getter/http_getter.pl.in
@@ -485,6 +485,8 @@ sub download
  if ($remove_headers) {
     $cont =~ s/<\?xml [^?]*\?>//sg;
     $cont =~ s/<!DOCTYPE [^>]*>//sg;
+ } else {
+    $cont =~ s/DOCTYPE (.*) SYSTEM\s+"http:\/\/www.cs.unibo.it\/helm\/dtd\//DOCTYPE $1 SYSTEM "$myownurl\/getdtd?uri=/g;
  }
  return $cont;
 }