Hi, Appreciate the patch/comments, all.
> Tue Jul 17 23:36:04 MST 2007 Kevin Quick <[EMAIL PROTECTED]>
> * 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.
pgphkV2T3YCzI.pgp
Description: PGP signature
_______________________________________________ darcs-devel mailing list darcs-devel@darcs.net http://lists.osuosl.org/mailman/listinfo/darcs-devel
