Fix replace_file; rename only if replaced_path exists
authorDavid Stainton <dstainton415@gmail.com>
Wed, 26 Aug 2015 20:02:26 +0000 (22:02 +0200)
committerDaira Hopwood <daira@jacaranda.org>
Wed, 30 Sep 2015 15:45:25 +0000 (16:45 +0100)
commit5cfddb2438953b0b61ece2a9eff35c523ffc3493
tree8475bd903cd01ad37454e46edffec2b70792dd75
parent688e5da690d51312faeeca2bbc783a9c6d80d357
Fix replace_file; rename only if replaced_path exists
src/allmydata/util/fileutil.py