From e3ae269f86ee78472cf7cd43f35cc203faf0333b Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 18 Feb 2004 16:26:35 +0000 Subject: [PATCH] ENVSCRIPT and mathql_db_map.txt no longer in use. --- helm/scripts/init.d/etc_default_helm_mowgli | 3 --- helm/scripts/init.d/helm-draw-graph_mowgli | 6 ----- helm/scripts/init.d/helm-http-getter_mowgli | 6 ----- helm/scripts/init.d/helm-proof-checker_mowgli | 6 ----- helm/scripts/init.d/helm-search-engine_mowgli | 6 ----- helm/scripts/init.d/helm-tomcat_mowgli | 6 ----- helm/scripts/init.d/helm-uri-set-queue_mowgli | 6 ----- helm/scripts/init.d/helm-uwobo_mowgli | 6 ----- helm/scripts/init.d/mathql_db_map.txt | 26 ------------------- 9 files changed, 71 deletions(-) delete mode 100644 helm/scripts/init.d/mathql_db_map.txt 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 - -> -- 2.39.2