173a89c update.py: Add a --force-download option, and handle download failure

Authored and Committed by otaylor 3 years ago
    update.py: Add a --force-download option, and handle download failure
    
    Add an option to force the remote data to be downloaded. If download
    fails, make sure that we don't leave corrupted cache files with
    new timestamps.
    
        
file modified
+47 -23