echo "sabba.sh { start | stop | --help }"
exit 0
fi
-. ../../script.sh
+
./ls_tutors.ml |
while read line; do
tutor=`echo $line | sed 's/\.ml//'`
echo "done!"
elif [ "$1" = "start" ]; then
echo -n "Starting HBugs tutor $tutor ... "
- ./$tutor &> run/$tutor.LOG &
+ nice -n 19 ./$tutor &> run/$tutor.LOG &
echo "done!"
else
echo "Uh? Try --help"