Admin/isatest-check

 
 # mail program
 MAIL=$HOME/bin/pmail
 
 # where the logs are
-ERRORLOG=$HOME/var/error.log
+ERRORDIR=$HOME/var
+ERRORLOG=$ERRORDIR/error.log
 MASTERLOG=$HOME/log/isatest.log
 
 # where the test-still-running files are
 RUNNING=$HOME/var/running
 

 if [ -e $ERRORLOG ]; then
     cat $ERRORLOG > $TMP
     echo "Have a nice day," >> $TMP
     echo "  isatest" >> $TMP
 
+    cd $ERRORDIR
     for R in $MAILTO; do
-        $MAIL "isabelle test failed" $R $TMP
+        $MAIL "isabelle test failed" $R $TMP *.log
     done
 
     rm $TMP
     exit 1
 fi