X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhelm-http-getter;fp=helm%2Fhttp_getter%2Fhelm-http-getter;h=0000000000000000000000000000000000000000;hp=2e8488838928d6996f1212c8f90056cd7c5d94fd;hb=43ddb7c4879cec9c9d69ca92aefb6677bcc5cfa2;hpb=5d7d6bd5090f3f82279bef0b93b4b361a5b1d751

diff --git a/helm/http_getter/helm-http-getter b/helm/http_getter/helm-http-getter
deleted file mode 100755
index 2e8488838..000000000
--- a/helm/http_getter/helm-http-getter
+++ /dev/null
@@ -1,53 +0,0 @@
-#!/bin/sh
-#
-# http-getter:       Starts the http-getter for project HELM
-#
-# Version:      /home/lpadovan/http_getter/http_getter.pl 0.1
-#
-# Author:       Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
-#
-# chkconfig: - 16 84
-# description: this is an implementation of an HELM getter as a \
-#              light http daemon. It allows URIs to be mapped to URLs \
-#              and documents to be retrieved.
-# processname: http_getter.pl
-# config: /local/etc/helm/configuration.xml
-
-# Source function library.
-. /etc/rc.d/init.d/functions
-
-RETVAL=0
-
-# See how we were called.
-case "$1" in
-  start)
-	echo -n "Starting HELM http-getter: "
-	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
-	;;
-  stop)
-	echo -n "Stopping HELM http-getter: "
-	killproc http_getter.pl
-	RETVAL=$?
-	[ $RETVAL -eq 0 ] && rm -f /var/lock/subsys/http_getter.pl
-        echo
-	;;
-  status)
-	status http_getter.pl
-	RETVAL=$?
-	;;
-  restart)
-	$0 stop
-	$0 start
-	RETVAL=$?
-	;;
-  *)
-	echo "Usage: $0 {start|stop|status|restart}"
-	exit 1
-esac
-
-exit $RETVAL
-