[darcs-devel] [patch2027] fix creation of temporary directories

Ben Franksen bugs at darcs.net
Wed Jun 24 13:52:10 UTC 2020


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

As processes that run darcs commands are supposed to be short-lived, 
perhaps we should make withDelayedDir the standard way to handle 
temporary directories. The problem here is that we usually read hashed 
files lazily, which makes it pretty hard to reason about when it is 
safe to finally remove the directory and its content.

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


More information about the darcs-devel mailing list