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.