]> matita.cs.unibo.it Git - helm.git/commitdiff
added the patch on-the-fly for DTDs, fixed the script for launching the getter at...
authorLuca Padovani <luca.padovani@unito.it>
Wed, 21 Feb 2001 15:11:23 +0000 (15:11 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 21 Feb 2001 15:11:23 +0000 (15:11 +0000)
helm/http_getter/helm-http-getter
helm/http_getter/http_getter.pl.in

index 5af004576836505cd3257e52f6108f71f77262c8..2e8488838928d6996f1212c8f90056cd7c5d94fd 100755 (executable)
@@ -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
index e6dde7f6e3e7095462141ad85967954eae48b241..8f2da8ea0d1882661015e324dc21167dc95433fe 100755 (executable)
@@ -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;
 }