On Sat, May 31, 2008 at 9:23 AM, Thomas Dalton thomas.dalton@gmail.com wrote:
There may be parts of the failed dump that have succeeded and it may seem wasteful to just delete them, but, as I understand it, the whole dump has to be redone to redo the failed parts, and if the whole lot is deleted it will be redone almost straight away, so there's only going to be a few hours in which the deleted dump may have been useful.
That wouldn't be true for something like the English Wikipedia dump, which usually runs for many days before failing. (Unless I'm misunderstanding what you mean by "parts".)