Re: Closed connection errors with the new Gnus

[Stefan]

>> See the backtrace below (which is all I can offer just now).  Anybody knows
>> what's going on?  Is it just a matter of a failure to catch the error and
>> reconnect&retry?

> It seems to be failing when the server closes the connection when
> doing an async prefetch.  In that case, I think the most useful thing
> to do is to just not attempt to prefetch anything else.

> Could you try the following patch?  I'm not quite sure it's correct;
> the prefetching code is somewhat complex...

I'll let you know if I see a difference (the problem is (as you might
imagine) not deterministically reproducible).  Thanks,


        Stefan