##// END OF EJS Templates
codingstyle: use spaces instead of tabs
Benoit Boissinot -
r2631:8f564a87 default
parent child Browse files
Show More
@@ -157,9 +157,9 b' def clone(ui, source, dest=None, pull=Fa'
157 # we lock here to avoid premature writing to the target
157 # we lock here to avoid premature writing to the target
158 dest_lock = lock.lock(os.path.join(dest_path, ".hg", "lock"))
158 dest_lock = lock.lock(os.path.join(dest_path, ".hg", "lock"))
159
159
160 # we need to remove the (empty) data dir in dest so copyfiles
160 # we need to remove the (empty) data dir in dest so copyfiles
161 # can do its work
161 # can do its work
162 os.rmdir(os.path.join(dest_path, ".hg", "data"))
162 os.rmdir(os.path.join(dest_path, ".hg", "data"))
163 files = "data 00manifest.d 00manifest.i 00changelog.d 00changelog.i"
163 files = "data 00manifest.d 00manifest.i 00changelog.d 00changelog.i"
164 for f in files.split():
164 for f in files.split():
165 src = os.path.join(source, ".hg", f)
165 src = os.path.join(source, ".hg", f)
@@ -170,8 +170,8 b' def clone(ui, source, dest=None, pull=Fa'
170 if inst.errno != errno.ENOENT:
170 if inst.errno != errno.ENOENT:
171 raise
171 raise
172
172
173 # we need to re-init the repo after manually copying the data
173 # we need to re-init the repo after manually copying the data
174 # into it
174 # into it
175 dest_repo = repository(ui, dest)
175 dest_repo = repository(ui, dest)
176
176
177 else:
177 else:
General Comments 0
You need to be logged in to leave comments. Login now