equal
deleted
inserted
replaced
308 os.rename(src, dst) |
308 os.rename(src, dst) |
309 except: |
309 except: |
310 os.unlink(dst) |
310 os.unlink(dst) |
311 os.rename(src, dst) |
311 os.rename(src, dst) |
312 |
312 |
|
313 def unlink(f): |
|
314 """unlink and remove the directory if it is empty""" |
|
315 os.unlink(f) |
|
316 # try removing directories that might now be empty |
|
317 try: os.removedirs(os.path.dirname(f)) |
|
318 except: pass |
|
319 |
313 def copyfiles(src, dst, hardlink=None): |
320 def copyfiles(src, dst, hardlink=None): |
314 """Copy a directory tree using hardlinks if possible""" |
321 """Copy a directory tree using hardlinks if possible""" |
315 |
322 |
316 if hardlink is None: |
323 if hardlink is None: |
317 hardlink = (os.stat(src).st_dev == |
324 hardlink = (os.stat(src).st_dev == |