equal
deleted
inserted
replaced
460 dest = os.path.basename(os.path.normpath(source)) |
460 dest = os.path.basename(os.path.normpath(source)) |
461 |
461 |
462 if os.path.exists(dest): |
462 if os.path.exists(dest): |
463 ui.warn("abort: destination '%s' already exists\n" % dest) |
463 ui.warn("abort: destination '%s' already exists\n" % dest) |
464 return 1 |
464 return 1 |
|
465 |
|
466 dest = os.path.realpath(dest) |
465 |
467 |
466 class Dircleanup: |
468 class Dircleanup: |
467 def __init__(self, dir_): |
469 def __init__(self, dir_): |
468 self.rmtree = shutil.rmtree |
470 self.rmtree = shutil.rmtree |
469 self.dir_ = dir_ |
471 self.dir_ = dir_ |