substitute for os.rename

file_mv (text/plain), 338 bytes, created by Martin Väth on 2007-06-23 09:13:45 UTC

#import os, shutil, errno
def file_mv(a, b):
	"This is as os.rename but also works over filesystem boundaries"
	try:
		os.rename(a, b)
	except os.error, detail:
		if detail.errno == errno.EXDEV:
			try:
				shutil.copytree(a, b, symlinks=1)
			except:
				shutil.rmtree(b, ignore_errors=1)
				raise
			shutil.rmtree(a)
		else:
			raise