src/Pure/General/ssh.scala
changeset 64125 a034dac5ca3c
parent 64124 818265654e60
child 64126 42bcd207598d
equal deleted inserted replaced
64124:818265654e60 64125:a034dac5ca3c
    94 {
    94 {
    95   def session(host: String, port: Int = 22, user: String = null,
    95   def session(host: String, port: Int = 22, user: String = null,
    96       compression: Boolean = true): SSH.Session =
    96       compression: Boolean = true): SSH.Session =
    97   {
    97   {
    98     val session = jsch.getSession(user, host, port)
    98     val session = jsch.getSession(user, host, port)
       
    99 
       
   100     session.setUserInfo(SSH.No_User_Info)
       
   101     session.setConfig("MaxAuthTries", "3")
       
   102 
    99     if (compression) {
   103     if (compression) {
   100       session.setConfig("compression.s2c", "zlib@openssh.com,zlib,none")
   104       session.setConfig("compression.s2c", "zlib@openssh.com,zlib,none")
   101       session.setConfig("compression.c2s", "zlib@openssh.com,zlib,none")
   105       session.setConfig("compression.c2s", "zlib@openssh.com,zlib,none")
   102       session.setConfig("compression_level", "9")
   106       session.setConfig("compression_level", "9")
   103     }
   107     }
   104     session.setUserInfo(SSH.No_User_Info)
   108 
   105     new SSH.Session(jsch, session)
   109     new SSH.Session(jsch, session)
   106   }
   110   }
   107 }
   111 }