[mirrormanager] v1.4: mirrorlist.py: fix file_details_cache() (aa3ffb9)