id,summary,reporter,owner,description,type,status,milestone,component,version,severity,resolution,keywords,cc
247,Filesystem bug with rename,wpcmame,nobody,"{{{
There is a bug in the windows version of 
filesystem::rename. In the 
documentation it says:

-----
Source: !is_directory()
Target: is_directory()
The source file is moved to the target directory. 
----

The problem is that the function used ""::MoveFileA"" will 
either rename a file or a directory but it will not move a 
file to a directory. (Error ""target already exists"")

To move a file, the filname must also be in the target 
path.

}}}",Bugs,closed,,None,None,,Fixed,,