equal
deleted
inserted
replaced
19 { |
19 { |
20 /* target machine: user@host syntax */ |
20 /* target machine: user@host syntax */ |
21 |
21 |
22 object Target |
22 object Target |
23 { |
23 { |
24 val Pattern = "^([^@]+)@(.+)$".r |
24 val User_Host = "^([^@]+)@(.+)$".r |
25 |
25 |
26 def parse(s: String): (String, String) = |
26 def parse(s: String): (String, String) = |
27 s match { |
27 s match { |
28 case Pattern(user, host) => (user, host) |
28 case User_Host(user, host) => (user, host) |
29 case _ => ("", s) |
29 case _ => ("", s) |
30 } |
30 } |
31 |
31 |
32 def unapplySeq(s: String): Option[List[String]] = |
32 def unapplySeq(s: String): Option[List[String]] = |
33 parse(s) match { |
33 parse(s) match { |