Patch #1608267: fix a race condition in os.makedirs() is the directory
to be created is already there.
2 files changed