equal
deleted
inserted
replaced
45 hg => |
45 hg => |
46 |
46 |
47 override def toString: String = |
47 override def toString: String = |
48 ssh match { |
48 ssh match { |
49 case None => root.implode |
49 case None => root.implode |
50 case Some(session) => quote(session.toString + ":" + root.implode) |
50 case Some(session) => session.toString + ":" + root.implode |
51 } |
51 } |
52 |
52 |
53 def command(name: String, args: String = "", options: String = ""): Process_Result = |
53 def command(name: String, args: String = "", options: String = ""): Process_Result = |
54 { |
54 { |
55 val cmdline = |
55 val cmdline = |