equal
deleted
inserted
replaced
612 ui.setconfig("ui", "ssh", opts['ssh']) |
612 ui.setconfig("ui", "ssh", opts['ssh']) |
613 if opts['remotecmd']: |
613 if opts['remotecmd']: |
614 ui.setconfig("ui", "remotecmd", opts['remotecmd']) |
614 ui.setconfig("ui", "remotecmd", opts['remotecmd']) |
615 |
615 |
616 d = Dircleanup(dest) |
616 d = Dircleanup(dest) |
617 source = ui.expandpath(source) |
617 if not os.path.exists(source): |
|
618 source = ui.expandpath(source) |
618 abspath = source |
619 abspath = source |
619 other = hg.repository(ui, source) |
620 other = hg.repository(ui, source) |
620 |
621 |
621 if other.dev() != -1: |
622 if other.dev() != -1: |
622 abspath = os.path.abspath(source) |
623 abspath = os.path.abspath(source) |