INNER CODE UNIT · Python
file_age
mosra/flextgl · flext.py:46
def file_age(filename):
return (time.time() - os.path.getmtime(filename)) / 3600.0
def download_spec(spec_url, save_as, always_download = False):
if not os.path.exists(spec_dir):
os.makedirs(spec_dir)
spec_file = os.path.join(spec_dir, save_as)
if always_download or not os.path.exists(spec_file) or file_age(spec_file) > 3*24:
print ('Downloading %s' % spec_url)
urllib.request.urlretrieve(spec_url, spec_file)
################################################################################
# Profile file parsing
################################################################################
class Version():