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 5e5c4dacd473d4182a69da5e7f28a6f71801c0df..5bb52b9c89508897f6b353b6fe4a3123bb3cf906 100644 (file)
--- 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 8f052c9b31b6f40ed7c7cf2bed8db01beffa0af4..a8553fb103552e613cedaba21cf72136797cd0d7 100755 (executable)
--- 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 183ec2a043d59379a5bfb1a88d96207e5ecf09b9..3ac21e0fa5eb1054f3f372b200a6ad0c41adccea 100755 (executable)
--- 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 0c6822653dc9a757b1a8e582b7a13dff7feee91f..8d28c9bf51c942af82fe90267fae60f5cc52e64e 100755 (executable)
--- 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 9e129049a288ddd3d77b135d4cd29e3fb4af96b5..45ea7f8852cc18afdf6fe283ce5b8b176fcd9e4d 100755 (executable)
--- 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 d56a1b2c9b24e2221f491cc5d3a3b4eb90d7e907..2b8325e4895109ca1b3c3fdb084dcd25a56063aa 100755 (executable)
--- 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 14a9e30a9bd5f7106273083fedeebc051175a574..a1a069fcc2753e4c863fe1a2f419b5baae33ca79 100755 (executable)
--- 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 6ac0fac613592e7a3b1907fdd3f0c84e0af219be..f21805ab97b335933a1e59c3a2ea018e3bfe5226 100755 (executable)
--- 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 (file)
index 9b702e4..0000000
--- 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
-            ->