--- a/etc/options Thu Oct 31 15:46:33 2024 +0100
+++ b/etc/options Thu Oct 31 15:46:53 2024 +0100
@@ -519,12 +519,12 @@
option ci_mail_user : string = "" for connection
option ci_mail_password : string = "" for connection
-option ci_mail_sender : string = "" for connection
-option ci_mail_smtp_host : string = "" for connection
-option ci_mail_smtp_port : int = 587 for connection
+option ci_mail_sender : string = "ci@proof.cit.tum.de" for connection
+option ci_mail_smtp_host : string = "mail.cit.tum.de" for connection
+option ci_mail_smtp_port : int = 465 for connection
option ci_mail_from : string = "ci@proof.cit.tum.de"
-- "mail address for build failure notifications"
-option ci_mail_to : string = ""
+option ci_mail_to : string = "isabelle-ci@mailman46.in.tum.de"
-- "recipient address for build failure notifications"
--- a/src/Pure/General/mail.scala Thu Oct 31 15:46:33 2024 +0100
+++ b/src/Pure/General/mail.scala Thu Oct 31 15:46:53 2024 +0100
@@ -72,7 +72,8 @@
def check(): Unit = {
val transport = mail_session.getTransport("smtp")
try {
- transport.connect(smtp_host, smtp_port, user, password)
+ transport.connect(smtp_host, smtp_port,
+ if (user.nonEmpty) user else null, if (password.nonEmpty) password else null)
transport.close()
}
catch {