Fix rename-file to handle directory renaming properly (Bug#3353).
commit8719abec5bfc13428e80fcf6a7334316228385e5
authorChong Yidong <cyd@stupidchicken.com>
Wed, 27 Jan 2010 04:08:41 +0000 (26 23:08 -0500)
committerChong Yidong <cyd@stupidchicken.com>
Wed, 27 Jan 2010 04:08:41 +0000 (26 23:08 -0500)
tree7a551282b1ef54c671015f7d9be21118edc303ed
parent7d82a7383bdd401eb06105f3eab364d98116dc37
Fix rename-file to handle directory renaming properly (Bug#3353).

* fileio.c (Frename_file): Call copy-directory and delete-directory
for directories, in order to handle cross-device renaming.
src/ChangeLog
src/fileio.c