]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/helm-http-getter
- fixed helm web page url and copyright notice
[helm.git] / helm / http_getter / helm-http-getter
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