equal
deleted
inserted
replaced
716 if opts['ssh']: |
716 if opts['ssh']: |
717 ui.setconfig("ui", "ssh", opts['ssh']) |
717 ui.setconfig("ui", "ssh", opts['ssh']) |
718 if opts['remotecmd']: |
718 if opts['remotecmd']: |
719 ui.setconfig("ui", "remotecmd", opts['remotecmd']) |
719 ui.setconfig("ui", "remotecmd", opts['remotecmd']) |
720 |
720 |
721 if not os.path.exists(source): |
721 source = ui.expandpath(source) |
722 source = ui.expandpath(source) |
|
723 |
722 |
724 d = Dircleanup(dest) |
723 d = Dircleanup(dest) |
725 abspath = source |
724 abspath = source |
726 other = hg.repository(ui, source) |
725 other = hg.repository(ui, source) |
727 |
726 |