On Sun, Jan 7, 2018 at 11:08 AM, martin rudalics <rudalics@gmx.at> wrote:

> > ​Any further thoughts?​
>
> > ​Does it just seem like a timing issue?
>
> IMHO the word "just" is inappropriate here.  Practically all issues I
> fought with in this context were timing issues.


​I mean can you find a longer delay that resolves the problem.  If so, then
we could examine what reasonable defaults might be based on platform
differences.

Bob