According to a few hosts I checked in Mirrormanager's web frontend the crawler has not been running for at least three days. Last run was on 2010-11-12. Adrian