##// END OF EJS Templates
merge with stable
Thomas Arendsen Hein -
r16353:1d8eab6d merge default
parent child Browse files
Show More
@@ -404,6 +404,8 b' def clone(ui, peeropts, source, dest=Non'
404 release(srclock, destlock)
404 release(srclock, destlock)
405 if dircleanup is not None:
405 if dircleanup is not None:
406 dircleanup.cleanup()
406 dircleanup.cleanup()
407 if srcrepo is not None:
408 srcrepo.close()
407
409
408 def _showstats(repo, stats):
410 def _showstats(repo, stats):
409 repo.ui.status(_("%d files updated, %d files merged, "
411 repo.ui.status(_("%d files updated, %d files merged, "
General Comments 0
You need to be logged in to leave comments. Login now