Chris Mattmann wrote:
So, does this render the patch that I wrote obsolete?
It's at least out-of-date and perhaps obsolete. A quick read of Fetcher.java looks like there might be a case where a "fatal" error is logged but the fetcher doesn't exit, in FetcherThread#output().
Doug
