equal
deleted
inserted
replaced
636 |
636 |
637 def rename(src, dst): |
637 def rename(src, dst): |
638 '''atomically rename file src to dst, replacing dst if it exists''' |
638 '''atomically rename file src to dst, replacing dst if it exists''' |
639 try: |
639 try: |
640 os.rename(src, dst) |
640 os.rename(src, dst) |
641 except OSError as e: |
641 except FileExistsError: |
642 if e.errno != errno.EEXIST: |
|
643 raise |
|
644 unlink(dst) |
642 unlink(dst) |
645 os.rename(src, dst) |
643 os.rename(src, dst) |
646 |
644 |
647 |
645 |
648 def gethgcmd(): |
646 def gethgcmd(): |