mirror of
https://github.com/dart-lang/sdk
synced 2024-11-02 10:49:00 +00:00
b5c63ce757
* Migrate to python3; drop python support. * Update Windows toolchain support. * Remove some unused methods. * Python 2.7 is still needed on Windows. * Update gsutil to a version that supports python3. Fixes: https://github.com/dart-lang/sdk/issues/28793 TEST=Manually tested common user journeys. Change-Id: I663a22b237a548bb82dc2e601e399e3bc3649211 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/192182 Reviewed-by: William Hesse <whesse@google.com> Reviewed-by: Alexander Aprelev <aam@google.com>
81 lines
2.4 KiB
Python
Executable file
81 lines
2.4 KiB
Python
Executable file
# Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file
|
|
# for details. All rights reserved. Use of this source code is governed by a
|
|
# BSD-style license that can be found in the LICENSE file.
|
|
|
|
#!/usr/bin/env python3
|
|
#
|
|
"""
|
|
Usage: gen_manifest.py DIRECTORY EXTENSIONS CACHE-FILE HTML-FILES...
|
|
|
|
Outputs an app cache manifest file including (recursively) all files with the
|
|
provided in the directory with the given extensions. Each html files is then
|
|
processed and a corresponding <name>-cache.html file is created, pointing at
|
|
the appropriate cache manifest file, which is saved as <name>-cache.manifest.
|
|
|
|
Example:
|
|
gen_manifest.py war *.css,*.html,*.js,*.png cache.manifest foo.html bar.html
|
|
|
|
Produces: foo-cache.html, bar-cache.html, and cache.manifest
|
|
"""
|
|
|
|
import fnmatch
|
|
import os
|
|
import random
|
|
import sys
|
|
import datetime
|
|
|
|
cacheDir = sys.argv[1]
|
|
extensions = sys.argv[2].split(',')
|
|
manifestName = sys.argv[3]
|
|
htmlFiles = sys.argv[4:]
|
|
|
|
os.chdir(cacheDir)
|
|
print("Generating manifest from root path: " + cacheDir)
|
|
|
|
patterns = extensions + htmlFiles
|
|
|
|
|
|
def matches(file):
|
|
for pattern in patterns:
|
|
if fnmatch.fnmatch(file, pattern):
|
|
return True
|
|
return False
|
|
|
|
|
|
def findFiles(rootDir):
|
|
for root, dirs, files in os.walk(rootDir):
|
|
for f in files:
|
|
# yields this file relative to the given directory
|
|
yield os.path.join(root, f)[(len(rootDir) + 1):]
|
|
|
|
|
|
manifest = []
|
|
manifest.append("CACHE MANIFEST")
|
|
|
|
# print out a random number to force the browser to update the cache manifest
|
|
manifest.append("# %s" % datetime.datetime.now().isoformat())
|
|
|
|
# print out each file to be included in the cache manifest
|
|
manifest.append("CACHE:")
|
|
|
|
manifest += (f for f in findFiles('.') if matches(f))
|
|
|
|
# force the browser to request any other files over the network,
|
|
# even when offline (better failure mode)
|
|
manifest.append("NETWORK:")
|
|
manifest.append("*")
|
|
|
|
with open(manifestName, 'w') as f:
|
|
f.writelines(m + '\n' for m in manifest)
|
|
|
|
print("Created manifest file: " + manifestName)
|
|
|
|
for htmlFile in htmlFiles:
|
|
cachedHtmlFile = htmlFile.replace('.html', '-cache.html')
|
|
text = open(htmlFile, 'r').read()
|
|
text = text.replace('<html>', '<html manifest="%s">' % manifestName, 1)
|
|
with open(cachedHtmlFile, 'w') as output:
|
|
output.write(text)
|
|
print("Processed html file: %s -> %s" % (htmlFile, cachedHtmlFile))
|
|
|
|
print("Successfully generated manifest and html files")
|