# HG changeset patch
# User wenzelm
# Date 1332588525 -3600
# Node ID b48d8f7f50fb198d4496815768a8503ef7bd7511
# Parent  187cac0885828ea6d4b905c469b17f7657b72b80
explicit SMTP server (appears to be required after recent change of system configuration);

diff -r 187cac088582 -r b48d8f7f50fb Admin/isatest/pmail
--- a/Admin/isatest/pmail	Sat Mar 24 12:22:29 2012 +0100
+++ b/Admin/isatest/pmail	Sat Mar 24 12:28:45 2012 +0100
@@ -95,7 +95,7 @@
 
 case `uname` in
 	Linux)  for F in $@; do ATTACH="$ATTACH -a $F"; done
-		cat "$BODY" | mail -s "$SUBJECT" $ATTACH "$TO"
+		cat "$BODY" | mail -Ssmtp=mailbroy.informatik.tu-muenchen.de -s "$SUBJECT" $ATTACH "$TO"
 		;;
 	SunOS)
 		print_body "$SUBJECT" "$BODY" $@ | mail -t "$TO"