# HG changeset patch
# User wenzelm
# Date 1476087959 -7200
# Node ID a034dac5ca3c8ed69c7a380ba17fb91543b01bc4
# Parent  818265654e6001b3e7afcb7ca26939c18b460f9a
clarified (hardwired!) default (see also jEdit/FTP);

diff -r 818265654e60 -r a034dac5ca3c src/Pure/General/ssh.scala
--- a/src/Pure/General/ssh.scala	Mon Oct 10 09:57:56 2016 +0200
+++ b/src/Pure/General/ssh.scala	Mon Oct 10 10:25:59 2016 +0200
@@ -96,12 +96,16 @@
       compression: Boolean = true): SSH.Session =
   {
     val session = jsch.getSession(user, host, port)
+
+    session.setUserInfo(SSH.No_User_Info)
+    session.setConfig("MaxAuthTries", "3")
+
     if (compression) {
       session.setConfig("compression.s2c", "zlib@openssh.com,zlib,none")
       session.setConfig("compression.c2s", "zlib@openssh.com,zlib,none")
       session.setConfig("compression_level", "9")
     }
-    session.setUserInfo(SSH.No_User_Info)
+
     new SSH.Session(jsch, session)
   }
 }