diff -r a92ee2833938 -r f6af6b265d20 Admin/isatest-check
--- a/Admin/isatest-check	Fri May 27 00:24:02 2005 +0200
+++ b/Admin/isatest-check	Fri May 27 01:09:44 2005 +0200
@@ -6,40 +6,23 @@
 # DESCRIPTION: sends email for failed tests, checks for error.log,
 #              generates development snapshot if test ok
 
-# source bashrc, we're called by cron
-. ~/.bashrc
+## global settings
+. ~/admin/isatest-settings
 
 # produce empty list for patterns like isatest-*.log if no 
 # such file exists 
 shopt -s nullglob
 
-## global settings
-
-# send mail to:
-MAILTO="kleing@in.tum.de nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk skalberg@in.tum.de makarius@sketis.net"
-
-ADMIN="berghofe@in.tum.de"
-
-# canoncical home for all platforms
-HOME=/usr/stud/isatest
-
-# where to find the distribution
-export DISTPREFIX=$HOME/tmp/isadist
+ADMIN="berghofe@in.tum.de kleing@in.tum.de"
 
 # mail program
 MAIL=$HOME/bin/pmail
 
-# where the logs are
-ERRORDIR=$HOME/var
-ERRORLOG=$ERRORDIR/error.log
-MASTERLOG=$HOME/log/isatest.log
-
-# where the test-still-running files are
-RUNNING=$HOME/var/running
-
 # tmp file for sending mail
 TMP=/tmp/isatest-makedist.$$
 
+export DISTPREFIX
+
 
 ## diagnostics