Lars Karlitski 68832d2aaf osbuild: check for right errno from os.rename() ... Renaming a directory over an existing one is only an error if the existing one is not empty, in which case ENOEMPTY is thrown. Tested with: >>> os.mkdir("foo") >>> os.mkdir("bar") >>> os.rename("foo", "bar") # no error >>> open("foo/a", "w").write("a") 1 >>> try: os.rename("bar", "foo") ... except OSError as e: e.errno == errno.ENOTEMPTY ... True		2019-08-12 13:06:18 +02:00
..
__init__.py	osbuild: check for right errno from os.rename()	2019-08-12 13:06:18 +02:00
__main__.py	ObjectStore: add an object store class	2019-08-01 22:39:52 +02:00
loop.py	loop: add direct-io support	2019-07-25 23:55:43 +02:00
remoteloop.py	loop: add helpers to use IPC to create loop devices	2019-07-19 00:51:12 +02:00