]> matita.cs.unibo.it Git - helm.git/commitdiff
Several daemons moved into /projects/helm/daemons.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Jan 2004 12:35:23 +0000 (12:35 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Jan 2004 12:35:23 +0000 (12:35 +0000)
helm/scripts/Makefile
helm/scripts/init.d/helm-http-getter_mowgli
helm/scripts/init.d/helm-search-engine_mowgli
helm/scripts/init.d/helm-uwobo_mowgli
helm/scripts/template.cshrc
helm/scripts/template.rc

index ccb1b248e7908e5b506657b6890680c7e038e2b7..6105737cb0cd2c5ad3712b4370b76582bbe8cd48 100644 (file)
@@ -1,6 +1,6 @@
 
 all: 
-       chmod ug+w marcello*rc phd*rc
+       chmod ug+w marcello*rc phd*rc
        ./makeit V7 marcello marcello <template.cshrc >marcello.cshrc
        ./makeit V7 marcello marcello <template.rc >marcello.rc
        ./makeit V7 marcello phd <template.cshrc >marcello_phd.cshrc
index 25433a23a2f587f2dc3bb6e700bdbc5f558373a9..7c8dfa8b53a194666272a028bddc3ad656dc4dfe 100755 (executable)
@@ -6,7 +6,7 @@
 # Created: Tue,  8 Oct 2002 17:18:17 +0200
 # Last-Modified: Wed,  8 Jan 2003 12:09:41 +0100
 
-DAEMON="/projects/helm/http_getter_mowgli/http_getter"
+DAEMON="/projects/helm/daemons/http_getter/http_getter"
 USAGE="Usage: /etc/init.d/helm-http-getter_mowgli { start | stop | restart }"
 
 ENVSCRIPT=""
index 836a2eb9d0d66c253ab271be28b27efb25531e74..e9fe479533ac4b0a042ed3470a785e7d6f32de00 100755 (executable)
@@ -6,7 +6,7 @@
 # Created: Fri, 22 Nov 2002 15:51:25 +0100
 # Last-Modified: Thu,  6 Mar 2003 17:40:16 +0100
 
-DAEMON=/projects/helm/V7_mowgli/helm/searchEngine/searchEngine.opt
+DAEMON="/projects/helm/daemons/searchEngine/searchEngine.opt"
 USAGE="Usage: /etc/init.d/helm-search-engine_mowgli { start | stop | restart }"
 
 ENVSCRIPT=""
index 888b4391bcb8e484d9f0484fb88981d52087a8a2..a6b0bcc314c1c4f343070cbd58e72b3d371f88f3 100755 (executable)
@@ -6,7 +6,7 @@
 # Created: Wed, 15 Jan 2003 15:14:07 +0100
 # Last-Modified: Tue,  8 Apr 2003 09:43:08 +0200 zacchiro
 
-DAEMON="/projects/helm/uwobo_mowgli/uwobo"
+DAEMON="/projects/helm/daemons/uwobo/uwobo"
 USAGE="Usage: /etc/init.d/helm-uwobo_mowgli { start | stop | restart }"
 UWOBO_FOREVER="/etc/init.d/uwobo_forever.sh"
 
index ef0e16b0018b00047d6a0beb974ccf546ff3bb68..7cf0823f48965aa01a072a11e9fc18de5d5554f3 100644 (file)
@@ -76,18 +76,12 @@ else
        setenv HTTP_GETTER_DTD_BASE_URL http://mowgli.cs.unibo.it/dtd
 endif
 setenv HELM_GETTER_URL http://mowgli.cs.unibo.it:$HTTP_GETTER_PORT/
-setenv SEARCH_ENGINE_HTML_DIR /projects/helm/V7_mowgli/helm/searchEngine/html
+setenv SEARCH_ENGINE_HTML_DIR /projects/helm/daemon/searchEngine/html
 
 echo HELM_CONFIGURATION_DIR=$HELM_CONFIGURATION_DIR
 echo HELM_LIB_DIR=$HELM_LIB_DIR
 echo HELM_STYLE_DIR=$HELM_STYLE_DIR
 
-setenv CLASSPATH .
-setenv CLASSPATH $CLASSPATH\:$HELMROOT/uwobo/lib/xalan.jar
-setenv CLASSPATH $CLASSPATH\:$HELMROOT/uwobo/lib/xerces.jar
-setenv CLASSPATH $CLASSPATH\:$HELMROOT/uwobo/lib/uwobo_client.jar
-setenv CLASSPATH $CLASSPATH\:$HELMROOT/uwobo/lib/uwobo_server.jar
-
 setenv MATHENGINECONF $HELMROOT/$COQV/$WHERE/local/etc/helm/helm-math-engine-configuration.xml
 
 umask 002
index 56957867760099021567788e3f13869c1e0719f5..2b05d7423950fcf06ac393434fcd12422eede29a 100644 (file)
@@ -68,18 +68,12 @@ else
        export HTTP_GETTER_DTD_BASE_URL=http://mowgli.cs.unibo.it/dtd
 fi
 export HELM_GETTER_URL=http://mowgli.cs.unibo.it:$HTTP_GETTER_PORT/
-export SEARCH_ENGINE_HTML_DIR=/projects/helm/V7_mowgli/helm/searchEngine/html
+export SEARCH_ENGINE_HTML_DIR=/projects/helm/daemons/searchEngine/html
 
 echo HELM_CONFIGURATION_DIR=$HELM_CONFIGURATION_DIR
 echo HELM_LIB_DIR=$HELM_LIB_DIR
 echo HELM_STYLE_DIR=$HELM_STYLE_DIR
 
-# export CLASSPATH=.
-# export CLASSPATH=$CLASSPATH:$HELMROOT/uwobo/lib/xalan.jar
-# export CLASSPATH=$CLASSPATH:$HELMROOT/uwobo/lib/xerces.jar
-# export CLASSPATH=$CLASSPATH:$HELMROOT/uwobo/lib/uwobo_client.jar
-# export CLASSPATH=$CLASSPATH:$HELMROOT/uwobo/lib/uwobo_server.jar
-
 export MATHENGINECONF=$HELMROOT/$COQV/$WHERE/local/etc/helm/helm-math-engine-configuration.xml
 
 umask 002