Fix rename-file to handle directory renaming properly (Bug#3353).
commit0c8133361b48742bdcbd125b7f2144f806fe0349
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)
tree410131aef94900c16dfaac9557a68a09e69f2609
parent27d62e9e675fb2c2129ca3c42ff7018a47662a99
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