equal
deleted
inserted
replaced
13 ## send email on failure to |
13 ## send email on failure to |
14 MAILTO="kleing@cse.unsw.edu.au nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk makarius@sketis.net haftmann@in.tum.de krauss@in.tum.de blanchet@in.tum.de bulwahn@in.tum.de boehmes@in.tum.de hoelzl@in.tum.de" |
14 MAILTO="kleing@cse.unsw.edu.au nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk makarius@sketis.net haftmann@in.tum.de krauss@in.tum.de blanchet@in.tum.de bulwahn@in.tum.de boehmes@in.tum.de hoelzl@in.tum.de" |
15 |
15 |
16 LOGPREFIX=$HOME/log |
16 LOGPREFIX=$HOME/log |
17 MASTERLOG=$LOGPREFIX/isatest.log |
17 MASTERLOG=$LOGPREFIX/isatest.log |
18 LOGSERVER=macbroy23.informatik.tu-muenchen.de |
18 LOGSERVER=macbroy28.informatik.tu-muenchen.de |
19 |
19 |
20 ERRORDIR=$HOME/var |
20 ERRORDIR=$HOME/var |
21 ERRORLOG=$ERRORDIR/error.log |
21 ERRORLOG=$ERRORDIR/error.log |
22 |
22 |
23 RUNNING=$HOME/var/running |
23 RUNNING=$HOME/var/running |