On Sat, Sep 20, 2008 at 9:38 PM, Tim Starling tstarling@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?