On 2/27/2017 3:14 AM, Richard Copley wrote:
> Sorry Ken, I can't sabotage myself like that, I have work to do.

FWIW, I'm attaching a corrected version of the patch.  With one 
exception, it only replaces SendMessage by SendMessageTimeout in cases 
where the return value of SendMessage was not used.  In the exceptional 
case, the return value was only tested to see if it was 0 or not, so I 
think the replacement is still correct.

Richard, it's your call whether or not it's worthwhile for you to run 
with this patch for a while and see what happens.  I understand that 
this might not give a definitive answer.

I still want to eventually apply the patch I posted in 
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=25875#41, which I think 
will solve the problem in a less satisfactory way.  But I'd rather hold 
off on that in the hope that we'll get some evidence as to whether we've 
correctly diagnosed the problem.

Ken