--- 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)
}
}