[darcs-devel] [patch1335] resolve issue 1721

[Ben Franksen]

Ben Franksen <benjamin.franksen at helmholtz-berlin.de> added the comment:

I see now that this is supposed to resolve issue1721. Was the problem
that the background thread was killed off prematurely when darcs
finished and thus the new solution avoids creating a thread in the first
place?

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