equal
deleted
inserted
replaced
620 if opts['ssh']: |
620 if opts['ssh']: |
621 ui.setconfig("ui", "ssh", opts['ssh']) |
621 ui.setconfig("ui", "ssh", opts['ssh']) |
622 if opts['remotecmd']: |
622 if opts['remotecmd']: |
623 ui.setconfig("ui", "remotecmd", opts['remotecmd']) |
623 ui.setconfig("ui", "remotecmd", opts['remotecmd']) |
624 |
624 |
625 d = Dircleanup(dest) |
|
626 if not os.path.exists(source): |
625 if not os.path.exists(source): |
627 source = ui.expandpath(source) |
626 source = ui.expandpath(source) |
|
627 |
|
628 d = Dircleanup(dest) |
628 abspath = source |
629 abspath = source |
629 other = hg.repository(ui, source) |
630 other = hg.repository(ui, source) |
630 |
631 |
631 copy = False |
632 copy = False |
632 if not opts['pull'] and other.dev() != -1: |
633 if not opts['pull'] and other.dev() != -1: |