[darcs-devel] Use System.Directory.copyFile for file copying

[Eric Y. Kow]

Hi,

Appreciate the patch/comments, all.

> Tue Jul 17 23:36:04 MST 2007  Kevin Quick <quick at sparq.org>
>   * Use cloneFile to copy files instead of readFilePS >>= writeFilePS

Kevin: please resubmit this without the replacement of cloneFile by
       copyFile.

It's quite likely the person who wrote this (Ian?) had a good reason
for doing it this way, for example, as Salvatore points out because it
acts differently from copyFile by not copying permissions over.

Ian: Any comments?

If this gets cleared up, it should probably be followed up with by a
comment in cloneFile.

Thanks!

-- 
Eric Kow                     http://www.loria.fr/~kow
PGP Key ID: 08AC04F9         Merci de corriger mon français.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 186 bytes
Desc: not available
Url : http://lists.osuosl.org/pipermail/darcs-devel/attachments/20070721/018f9979/attachment.pgp