[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:

In the long run we should change the index code and the API in such a 
way that we can use the index read-only. With the current index API 
this is not possible because in the index we store only a single mmap 
pointer for reading and writing. The change would involve duplicating 
the pointer, one for reading the other for writing.

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