fix committed to rev 10835. any testing would be welcome, since timing issues can behave very differently on different machines.
fix committed to rev 10835.
any testing would be welcome, since timing issues can behave very differently on different machines.