src/Pure/General/ssh.scala

   class Exec private[SSH](session: Session, channel: ChannelExec)
   {
     override def toString: String = "exec " + session.toString
 
     def close() { channel.disconnect }
-
-    def kill(signal: String) { channel.sendSignal(signal) }
 
     val exit_status: Future[Int] =
       Future.thread("ssh_wait") {
         while (!channel.isClosed) Thread.sleep(exec_wait_delay.ms)
         channel.getExitStatus