Hi Vincent,
Vincent Lefevre wrote:
> On 2016-06-24 15:23:52 +0200, Vincent Lefevre wrote:
> > Now this occurs very often:
> [...]
>
> But I cannot reproduce the failure with strace.
> A race condition somewhere?
Thanks for that hint. That is a possible explaination why I have
issues reproducing it as well as why users see it with some versions
more often than with others despite the accused patch hasn't seen a
change for quite a while.
I'll check the patch for a potential race condition. But I do also
consider disabling it as there nowadays are enough evidentiary facts
that it's really the cause for this issue.
My preference is neverthelesss to keep the patch -- especially if the
patch can be fixed.
Regards, Axel
--
,''`. | Axel Beckert <a...@debian.org>, http://people.debian.org/~abe/
: :' : | Debian Developer, ftp.ch.debian.org Admin
`. `' | 4096R: 2517 B724 C5F6 CA99 5329 6E61 2FF9 CD59 6126 16B5
`- | 1024D: F067 EA27 26B9 C3FC 1486 202E C09E 1D89 9593 0EDE
