]> matita.cs.unibo.it Git - helm.git/commitdiff
Removed the line that sourced the personal configuration file of Zack.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 13 Mar 2003 14:13:15 +0000 (14:13 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 13 Mar 2003 14:13:15 +0000 (14:13 +0000)
helm/hbugs/broker/hbugs_broker_ctl.sh
helm/hbugs/tutors/sabba.sh

index 8730a1cb514353d7c03aedc9b7614737dba32e89..b06f844f177d26b85d7aa14121938c9eb8647723 100755 (executable)
@@ -5,7 +5,6 @@ if [ "$1" = "--help" -o "$1" = "" ]; then
    exit 0
 fi
 if [ "$1" = "start" ]; then
-   . ../../script.sh
    echo -n "Starting HBugs broker ... "
    ./$daemon &> run/$daemon.LOG &
    echo "done!"
index 239cd99092673ebba943726a334f69d6c0077db3..31c186af409d64da34ee836d845b65b5c5829265 100755 (executable)
@@ -28,7 +28,7 @@ if [ "$1" = "--help" -o "$1" = "" ]; then
    echo "sabba.sh { start | stop | --help }"
    exit 0
 fi
-. ../../script.sh
+
 ./ls_tutors.ml |
 while read line; do
    tutor=`echo $line | sed 's/\.ml//'`