[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