clarified (hardwired!) default (see also jEdit/FTP);
authorwenzelm
Mon Oct 10 10:25:59 2016 +0200 (2016-10-10)
changeset 64125a034dac5ca3c
parent 64124 818265654e60
child 64126 42bcd207598d
clarified (hardwired!) default (see also jEdit/FTP);
src/Pure/General/ssh.scala
     1.1 --- a/src/Pure/General/ssh.scala	Mon Oct 10 09:57:56 2016 +0200
     1.2 +++ b/src/Pure/General/ssh.scala	Mon Oct 10 10:25:59 2016 +0200
     1.3 @@ -96,12 +96,16 @@
     1.4        compression: Boolean = true): SSH.Session =
     1.5    {
     1.6      val session = jsch.getSession(user, host, port)
     1.7 +
     1.8 +    session.setUserInfo(SSH.No_User_Info)
     1.9 +    session.setConfig("MaxAuthTries", "3")
    1.10 +
    1.11      if (compression) {
    1.12        session.setConfig("compression.s2c", "zlib@openssh.com,zlib,none")
    1.13        session.setConfig("compression.c2s", "zlib@openssh.com,zlib,none")
    1.14        session.setConfig("compression_level", "9")
    1.15      }
    1.16 -    session.setUserInfo(SSH.No_User_Info)
    1.17 +
    1.18      new SSH.Session(jsch, session)
    1.19    }
    1.20  }