# HG changeset patch
# User isatest
# Date 1191163988 -7200
# Node ID 38e5c05ef741ad50c4ce27fa79cf3ad6a95036fb
# Parent  fd6d2040f89b5465ec1ae390599896da26b3d7b1
switch notification email back on

diff -r fd6d2040f89b -r 38e5c05ef741 Admin/isatest/isatest-settings
--- a/Admin/isatest/isatest-settings	Sun Sep 30 16:51:46 2007 +0200
+++ b/Admin/isatest/isatest-settings	Sun Sep 30 16:53:08 2007 +0200
@@ -11,7 +11,7 @@
 HOME=/home/isatest
 
 ## send email on failure to
-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"
+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"
 
 LOGPREFIX=$HOME/log
 MASTERLOG=$LOGPREFIX/isatest.log