From 201e5f67d1227dfb5c863e2edc862bb6d73e9383 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 13 Mar 2003 14:13:15 +0000
Subject: [PATCH] Removed the line that sourced the personal configuration file
 of Zack.

---
 helm/hbugs/broker/hbugs_broker_ctl.sh | 1 -
 helm/hbugs/tutors/sabba.sh            | 2 +-
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/helm/hbugs/broker/hbugs_broker_ctl.sh b/helm/hbugs/broker/hbugs_broker_ctl.sh
index 8730a1cb5..b06f844f1 100755
--- a/helm/hbugs/broker/hbugs_broker_ctl.sh
+++ b/helm/hbugs/broker/hbugs_broker_ctl.sh
@@ -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!"
diff --git a/helm/hbugs/tutors/sabba.sh b/helm/hbugs/tutors/sabba.sh
index 239cd9909..31c186af4 100755
--- a/helm/hbugs/tutors/sabba.sh
+++ b/helm/hbugs/tutors/sabba.sh
@@ -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//'`
-- 
2.39.2