From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 18 Feb 2004 16:26:35 +0000 (+0000)
Subject: ENVSCRIPT and mathql_db_map.txt no longer in use.
X-Git-Tag: v0_0_4~142
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e3ae269f86ee78472cf7cd43f35cc203faf0333b;p=helm.git

ENVSCRIPT and mathql_db_map.txt no longer in use.
---

diff --git a/helm/scripts/init.d/etc_default_helm_mowgli b/helm/scripts/init.d/etc_default_helm_mowgli
index 5e5c4dacd..5bb52b9c8 100644
--- a/helm/scripts/init.d/etc_default_helm_mowgli
+++ b/helm/scripts/init.d/etc_default_helm_mowgli
@@ -11,9 +11,6 @@ DAEMONS="
   helm-uwobo_mowgli
 "
 
-  # script used to define a good(TM) environment for daemons
-ENVSCRIPT="/projects/helm/shared/scripts/phd_mowgli.rc"
-
   # script used to load/unload uwobo predefined scripts
 UWOBO_INIT_SCRIPT="/projects/helm/shared/scripts/init.d/loadPredefinedStylesheets.pl"
 
diff --git a/helm/scripts/init.d/helm-draw-graph_mowgli b/helm/scripts/init.d/helm-draw-graph_mowgli
index 8f052c9b3..a8553fb10 100755
--- a/helm/scripts/init.d/helm-draw-graph_mowgli
+++ b/helm/scripts/init.d/helm-draw-graph_mowgli
@@ -9,15 +9,9 @@
 DAEMON=/projects/helm/daemons/graphs/tools/drawGraph.opt
 USAGE="Usage: /etc/init.d/helm-draw-graph_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
diff --git a/helm/scripts/init.d/helm-http-getter_mowgli b/helm/scripts/init.d/helm-http-getter_mowgli
index 183ec2a04..3ac21e0fa 100755
--- a/helm/scripts/init.d/helm-http-getter_mowgli
+++ b/helm/scripts/init.d/helm-http-getter_mowgli
@@ -9,15 +9,9 @@
 DAEMON="/projects/helm/daemons/http_getter/http_getter.opt"
 USAGE="Usage: /etc/init.d/helm-http-getter_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
diff --git a/helm/scripts/init.d/helm-proof-checker_mowgli b/helm/scripts/init.d/helm-proof-checker_mowgli
index 0c6822653..8d28c9bf5 100755
--- a/helm/scripts/init.d/helm-proof-checker_mowgli
+++ b/helm/scripts/init.d/helm-proof-checker_mowgli
@@ -9,15 +9,9 @@
 DAEMON=/projects/helm/daemons/proofChecker/proofChecker.opt
 USAGE="Usage: /etc/init.d/helm-proof-checker { 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
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
diff --git a/helm/scripts/init.d/helm-tomcat_mowgli b/helm/scripts/init.d/helm-tomcat_mowgli
index d56a1b2c9..2b8325e48 100755
--- a/helm/scripts/init.d/helm-tomcat_mowgli
+++ b/helm/scripts/init.d/helm-tomcat_mowgli
@@ -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
 
diff --git a/helm/scripts/init.d/helm-uri-set-queue_mowgli b/helm/scripts/init.d/helm-uri-set-queue_mowgli
index 14a9e30a9..a1a069fcc 100755
--- a/helm/scripts/init.d/helm-uri-set-queue_mowgli
+++ b/helm/scripts/init.d/helm-uri-set-queue_mowgli
@@ -9,15 +9,9 @@
 DAEMON=/projects/helm/daemons/graphs/tools/uriSetQueue.opt
 USAGE="Usage: /etc/init.d/helm-uri-set-queue_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
diff --git a/helm/scripts/init.d/helm-uwobo_mowgli b/helm/scripts/init.d/helm-uwobo_mowgli
index 6ac0fac61..f21805ab9 100755
--- a/helm/scripts/init.d/helm-uwobo_mowgli
+++ b/helm/scripts/init.d/helm-uwobo_mowgli
@@ -10,15 +10,9 @@ DAEMON="/projects/helm/daemons/uwobo/uwobo.opt"
 USAGE="Usage: /etc/init.d/helm-uwobo_mowgli { start | stop | restart }"
 UWOBO_FOREVER="/etc/init.d/uwobo_forever.sh"
 
-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`
 # Warning: $PIDFILE value is shared by UWOBO respawner, change at your own risk
diff --git a/helm/scripts/init.d/mathql_db_map.txt b/helm/scripts/init.d/mathql_db_map.txt
deleted file mode 100644
index 9b702e444..000000000
--- a/helm/scripts/init.d/mathql_db_map.txt
+++ /dev/null
@@ -1,26 +0,0 @@
-dbname=mowgli host=mowgli.cs.unibo.it user=helm password=awH21Un
-
-objectname  source       <+ 
-objectname  value        <- objectName 
-refobj                   <- refObj
-refobj      source       <- 
-refobj      h_occurrence <- refObj      h:occurrence
-refobj      h_position   <- refObj      h:position
-refobj      h_depth      <- refObj      h:depth
-refrel                   <- refRel
-refrel      source       <- 
-refrel      h_position   <- refRel      h:position
-refrel      h_depth      <- refRel      h:depth
-refsort                  <- refSort
-refsort     source       <- 
-refsort     h_sort       <- refSort     h:sort
-refsort     h_position   <- refSort     h:position
-refsort     h_depth      <- refSort     h:depth
-backpointer              <- backPointer
-backpointer source       <- backPointer h:occurrence
-backpointer h_occurrence <- 
-backpointer h_position   <- backPointer h:position
-backpointer h_depth      <- backPointer h:depth
-
-backpointer -> refobj
-            ->