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
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;
}