equal
deleted
inserted
replaced
16 self.url = path |
16 self.url = path |
17 self.ui = ui |
17 self.ui = ui |
18 |
18 |
19 m = re.match(r'ssh://(([^@]+)@)?([^:/]+)(:(\d+))?(/(.*))?', path) |
19 m = re.match(r'ssh://(([^@]+)@)?([^:/]+)(:(\d+))?(/(.*))?', path) |
20 if not m: |
20 if not m: |
21 raise hg.RepoError(_("couldn't parse destination %s") % path) |
21 raise hg.RepoError(_("couldn't parse location %s") % path) |
22 |
22 |
23 self.user = m.group(2) |
23 self.user = m.group(2) |
24 self.host = m.group(3) |
24 self.host = m.group(3) |
25 self.port = m.group(5) |
25 self.port = m.group(5) |
26 self.path = m.group(7) or "." |
26 self.path = m.group(7) or "." |