X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fscripts%2Finit.d%2Fhelm-search-engine_mowgli;h=45ea7f8852cc18afdf6fe283ce5b8b176fcd9e4d;hb=c911fe913e84cda448e2f0df20c1e023f6f8043d;hp=9e129049a288ddd3d77b135d4cd29e3fb4af96b5;hpb=d6e74a36ba8d9ff712e7305566858d8910a4be23;p=helm.git diff --git a/helm/scripts/init.d/helm-search-engine_mowgli b/helm/scripts/init.d/helm-search-engine_mowgli index 9e129049a..45ea7f885 100755 --- a/helm/scripts/init.d/helm-search-engine_mowgli +++ b/helm/scripts/init.d/helm-search-engine_mowgli @@ -9,15 +9,9 @@ DAEMON="/projects/helm/daemons/searchEngine/searchEngine.opt" USAGE="Usage: /etc/init.d/helm-search-engine_mowgli { start | stop | restart }" -ENVSCRIPT="" if [ -f /etc/default/helm_mowgli ]; then . /etc/default/helm_mowgli fi -if ! [ -f "$ENVSCRIPT" ]; then - echo "Can't find environment script '$ENVSCRIPT'" - exit 1 -fi -. $ENVSCRIPT &> /dev/null NAME=`basename $DAEMON` PIDFILE=/var/run/"$NAME"_mowgli.pid