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