./ls_tutors.ml |
while read line; do
tutor=`echo $line | sed 's/\.ml//'`
if [ "$1" = "stop" ]; then
echo -n "Stopping HBugs tutor $tutor ... "
./ls_tutors.ml |
while read line; do
tutor=`echo $line | sed 's/\.ml//'`
if [ "$1" = "stop" ]; then
echo -n "Stopping HBugs tutor $tutor ... "