equal
deleted
inserted
replaced
113 |
113 |
114 dest = localpath(dest) |
114 dest = localpath(dest) |
115 source = localpath(source) |
115 source = localpath(source) |
116 |
116 |
117 if os.path.exists(dest): |
117 if os.path.exists(dest): |
118 raise util.Abort(_("destination '%s' already exists"), dest) |
118 raise util.Abort(_("destination '%s' already exists") % dest) |
119 |
119 |
120 class DirCleanup(object): |
120 class DirCleanup(object): |
121 def __init__(self, dir_): |
121 def __init__(self, dir_): |
122 self.rmtree = shutil.rmtree |
122 self.rmtree = shutil.rmtree |
123 self.dir_ = dir_ |
123 self.dir_ = dir_ |