On Sat, Sep 20, 2008 at 9:38 PM, Tim Starling <tstarling(a)wikimedia.org> wrote:
Yes. The bug itself deleted the file and put a
directory entry in its
place. I wrote a shell script to remove the directory entry and then do a
wget to fetch the file from the squid cache. Wget created a zero-length
file for all the cache misses. Some of those files were subsequently deleted.
So does that mean there are more files which were not included in the
prior list of missing files that I should check for?