tuned;
authorwenzelm
Mon Oct 10 10:42:14 2016 +0200 (2016-10-10)
changeset 64128cc5ea4d648d8
parent 64127 14782d58a503
child 64129 fce8b7c746b4
tuned;
src/Pure/General/ssh.scala
     1.1 --- a/src/Pure/General/ssh.scala	Mon Oct 10 10:41:04 2016 +0200
     1.2 +++ b/src/Pure/General/ssh.scala	Mon Oct 10 10:42:14 2016 +0200
     1.3 @@ -60,6 +60,19 @@
     1.4    }
     1.5  
     1.6  
     1.7 +  /* user info */
     1.8 +
     1.9 +  object No_User_Info extends UserInfo
    1.10 +  {
    1.11 +    def getPassphrase: String = null
    1.12 +    def getPassword: String = null
    1.13 +    def promptPassword(msg: String): Boolean = false
    1.14 +    def promptPassphrase(msg: String): Boolean = false
    1.15 +    def promptYesNo(msg: String): Boolean = false
    1.16 +    def showMessage(msg: String): Unit = Output.writeln(msg)
    1.17 +  }
    1.18 +
    1.19 +
    1.20    /* session */
    1.21  
    1.22    class Session private[SSH](val session: JSch_Session)
    1.23 @@ -78,16 +91,6 @@
    1.24      def channel_sftp: ChannelSftp =
    1.25        session.openChannel("sftp").asInstanceOf[ChannelSftp]
    1.26    }
    1.27 -
    1.28 -  object No_User_Info extends UserInfo
    1.29 -  {
    1.30 -    def getPassphrase: String = null
    1.31 -    def getPassword: String = null
    1.32 -    def promptPassword(msg: String): Boolean = false
    1.33 -    def promptPassphrase(msg: String): Boolean = false
    1.34 -    def promptYesNo(msg: String): Boolean = false
    1.35 -    def showMessage(msg: String): Unit = Output.writeln(msg)
    1.36 -  }
    1.37  }
    1.38  
    1.39  class SSH private(val jsch: JSch)