]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/scripts/init.d/helm-tomcat_mowgli
ENVSCRIPT and mathql_db_map.txt no longer in use.
[helm.git] / helm / scripts / init.d / helm-tomcat_mowgli
index d56a1b2c9b24e2221f491cc5d3a3b4eb90d7e907..2b8325e4895109ca1b3c3fdb084dcd25a56063aa 100755 (executable)
@@ -7,16 +7,10 @@
 # Last-Modified: Wed,  9 Oct 2002 14:26:27 +0200
 
 UWOBO_INIT_SCRIPT=""
-ENVSCRIPT=""
 if [ -f /etc/default/helm_mowgli ]; then
   . /etc/default/helm_mowgli
 fi
 test -x "$UWOBO_INIT_SCRIPT" || exit 0
-if ! [ -f "$ENVSCRIPT" ]; then
-  echo "Can't find environment script '$ENVSCRIPT'"
-  exit 1
-fi
-. $ENVSCRIPT &> /dev/null
 
 case "$1" in