Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Sun, 24 Mar 2024 19:10:55 +0100
changeset 79979 a4100b7ab951
parent 79978 2cc5182cbb08
child 79980 ee04ce2ac13f
tuned;
src/Pure/General/mail.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/mail.scala	Sun Mar 24 19:08:13 2024 +0100
+++ b/src/Pure/General/mail.scala	Sun Mar 24 19:10:55 2024 +0100
@@ -47,7 +47,7 @@
     def use_auth: Boolean = user.nonEmpty && password.nonEmpty
 
     private def mail_session: JSession = {
-      val props = new JProperties()
+      val props = new JProperties
       props.setProperty("mail.smtp.from", sender.toString)
       props.setProperty("mail.smtp.host", smtp_host)
       props.setProperty("mail.smtp.port", smtp_port.toString)
@@ -56,7 +56,7 @@
       transport match {
         case Transport.SSL(protocol) =>
           props.setProperty("mail.smtp.ssl.enable", "true")
-         props.setProperty("mail.smtp.ssl.protocols", protocol)
+          props.setProperty("mail.smtp.ssl.protocols", protocol)
         case Transport.STARTTLS =>
           props.setProperty("mail.smtp.starttls.enable", "true")
         case Transport.Plaintext =>
isabelle