-
Erik M. Bray authored
os.rename() could fail sometimes with a permission error; using shutil.move() instead seems to be more robust against that.
3d0be9fd
os.rename() could fail sometimes with a permission error; using shutil.move() instead seems to be more robust against that.