equal
deleted
inserted
replaced
88 def connect_session(host: String, user: String = "", port: Int = 0, |
88 def connect_session(host: String, user: String = "", port: Int = 0, |
89 host_key_permissive: Boolean = false, |
89 host_key_permissive: Boolean = false, |
90 host_key_alias: String = "", |
90 host_key_alias: String = "", |
91 on_close: () => Unit = () => ()): Session = |
91 on_close: () => Unit = () => ()): Session = |
92 { |
92 { |
93 val session = jsch.getSession(proper_string(user) getOrElse null, host, make_port(port)) |
93 val session = jsch.getSession(proper_string(user).orNull, host, make_port(port)) |
94 |
94 |
95 session.setUserInfo(No_User_Info) |
95 session.setUserInfo(No_User_Info) |
96 session.setServerAliveInterval(alive_interval(options)) |
96 session.setServerAliveInterval(alive_interval(options)) |
97 session.setServerAliveCountMax(alive_count_max(options)) |
97 session.setServerAliveCountMax(alive_count_max(options)) |
98 session.setConfig("MaxAuthTries", "3") |
98 session.setConfig("MaxAuthTries", "3") |