mozilla/rust — pull request #10085 by hatahet (2013-10-26 07:59:03+00:00)
Title: Modifications to os::copy_file()

* Now returns `false` if source and destination are the same.
* Returns `false` if source is a directory.

Fixes #9947