Re: [racket-dev] [plt] Push #29680: master branch updated

2015-01-14 Thread Robby Findler
I like that. Thanks, Robby On Wed, Jan 14, 2015 at 2:29 PM, Matthew Flatt wrote: > I'll adjust the docs to clarify that the permission change followed by > delete is a non-atomic sequence, with no attempt to revert a permission > change if the delete fails. > > Ending up with just the permission

Re: [racket-dev] [plt] Push #29680: master branch updated

2015-01-14 Thread Matthew Flatt
I'll adjust the docs to clarify that the permission change followed by delete is a non-atomic sequence, with no attempt to revert a permission change if the delete fails. Ending up with just the permission change is one possible outcome, and I hope the clarification will also make other outcomes m

Re: [racket-dev] [plt] Push #29680: master branch updated

2015-01-14 Thread Robby Findler
Is it perhaps worth being more explicit about this possibility in the docs? I'm thinking of a sentence that says "when is set, delete-file may have only the effect of changing the permissions on the file" or similar. Robby On Wed, Jan 14, 2015 at 8:29 AM, Matthew Flatt wrote: > At Wed, 14 Jan 2

Re: [racket-dev] [plt] Push #29680: master branch updated

2015-01-14 Thread Matthew Flatt
At Wed, 14 Jan 2015 09:07:08 -0500, Neil Toronto wrote: > On 01/13/2015 02:00 PM, mfl...@racket-lang.org wrote: > > 9f3c82c Matthew Flatt 2015-01-13 08:47 > > : > > | Windows: change `delete-{file,directory}` to attempt permission correction > > | > > | If a file or directory delete fails, try adj

Re: [racket-dev] [plt] Push #29680: master branch updated

2015-01-14 Thread Neil Toronto
On 01/13/2015 02:00 PM, mfl...@racket-lang.org wrote: 9f3c82c Matthew Flatt 2015-01-13 08:47 : | Windows: change `delete-{file,directory}` to attempt permission correction | | If a file or directory delete fails, try adjusting the file or directory | permissions to allow writes, then try deletin