Hi, I am using the following script to mirror pages from http://newton.uam.mx/xgeorge/ in the local directory (served as http://www.tarunz.org/~xgeorge/):
wget -q -t10 -c -T120 -nH --cut-dirs=1 -r -m -np http://newton.uam.mx/xgeorge/ Now, if the remote directory index document (mapped to the local index.html) is not newer than its mirrored local copy, the mirror process stops; whereas I am expecting it to also check if the child pages have to be mirrored. This is exhibited by the attached 'stale.log.gz'. If I forcibly remove the local index.html, it does mirror index.html, and then proceeds on to properly mirroring the changed child documents (as seen is the second attachment, 'forced.log.gz'). I hope this is enough to describe the bug; but I will be happy to answer any additional questions or test any patch for you. Kind regards, Vassilii
stale.log.gz
Description: stale.log (GZIP-ped)
forced.log.gz
Description: forced.log (GZIP-ped)
