3 # http-getter: Starts the http-getter for project HELM
5 # Version: /home/lpadovan/http_getter/http_getter.pl 0.1
7 # Author: Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
10 # description: this is an implementation of an HELM getter as a \
11 # light http daemon. It allows URIs to be mapped to URLs \
12 # and documents to be retrieved.
13 # processname: http_getter.pl
14 # config: /local/etc/helm/configuration.xml
16 # Source function library.
17 . /etc/rc.d/init.d/functions
21 # See how we were called.
24 echo -n "Starting HELM http-getter: "
25 export HELM_LIB_DIR=/projects/helm/on-line/local/lib/helm
26 daemon /projects/helm/http_getter/http_getter.pl &
29 [ $RETVAL -eq 0 ] && touch /var/lock/subsys/http_getter.pl
32 echo -n "Stopping HELM http-getter: "
33 killproc http_getter.pl
35 [ $RETVAL -eq 0 ] && rm -f /var/lock/subsys/http_getter.pl
48 echo "Usage: $0 {start|stop|status|restart}"