conf: use shutil.move instead of os.rename for savingmaster
commita93e870ee4a68083d27b8c130bf67b9ea906b970
authorVincent Povirk <madewokherd+d41d@gmail.com>
Fri, 19 Dec 2008 06:43:08 +0000 (19 00:43 -0600)
committerVincent Povirk <madewokherd+d41d@gmail.com>
Fri, 19 Dec 2008 06:43:08 +0000 (19 00:43 -0600)
tree3dceee172096b78b67be2c381c6bbe55bd028eb5
parentfea5284dba9288285085b5f0c31e76d20099f7c4
conf: use shutil.move instead of os.rename for saving

The documentation says os.rename will fail sometimes. When that
happens, we can't replace the old config atomically. shutil.move
should work in these cases, but it is unsafe.
conf.py