tutor=`echo $line | sed 's/\.ml//'`
if [ "$1" = "stop" ]; then
echo -n "Stopping HBugs tutor $tutor ... "
- killall $tutor
+ killall -9 $tutor
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"