[darcs-devel] [issue1959] whatsnew shouldn't need write access (opening of '_darcs/index' failed)

[Ben Franksen]

Ben Franksen <ben.franksen at online.de> added the comment:

Forgot to mention the role the API plays here: it is designed so that 
readIndex merely sets up the mmap and stores the pointer in the index 
object. We then have to call updateIndex to get a usable Tree IO 
object out of it. I have no idea why it was designed in that way but 
this API clearly does not allow read-only access.

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/issue1959>
__________________________________