# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1730383019 -3600
# Node ID f7d7a6a4f8579a2dc77e71268221385909f1f036
# Parent  c2535056434f8ba3181bae523b7d5ba5d2500411
proper passwordless smtp check: must be null;

diff -r c2535056434f -r f7d7a6a4f857 src/Pure/General/mail.scala
--- a/src/Pure/General/mail.scala	Thu Oct 31 09:24:10 2024 +0100
+++ b/src/Pure/General/mail.scala	Thu Oct 31 14:56:59 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 {