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?
The list of missing files was derived from the initial scan for directory
entries where files should have been. I'm not sure why files would have
been missing from that list. We'll probably have to check the whole file
repository against the DB. You could write a script for that if you feel
like doing something to help.