diff options
author | Alan Kligman <ack@mozilla.com> | 2013-04-17 23:41:37 -0400 |
---|---|---|
committer | Alan Kligman <ack@mozilla.com> | 2013-04-25 00:58:25 -0400 |
commit | d0d52b189b23f45a18dce0118296723e0ca2fb0d (patch) | |
tree | fcc28c28b9c6043c7408179639bb7b3bd137c76c | |
parent | 74f3242118d8b9bdf8df0ffd9ba5988d38fd8ed6 (diff) |
Add no-cache to HEAD request.
-rw-r--r-- | tools/file_packager.py | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/tools/file_packager.py b/tools/file_packager.py index 8460cb3d..3598c857 100644 --- a/tools/file_packager.py +++ b/tools/file_packager.py @@ -70,6 +70,7 @@ crunch = 0 plugins = [] jsoutput = None force = True +use_preload_cache = False for arg in sys.argv[1:]: if arg == '--preload': @@ -93,6 +94,8 @@ for arg in sys.argv[1:]: in_compress = 0 elif arg == '--no-force': force = False + elif arg == '--use-preload-cache': + use_preload_cache = True elif arg.startswith('--js-output'): jsoutput = arg.split('=')[1] if '=' in arg else None elif arg.startswith('--crunch'): @@ -413,6 +416,7 @@ if has_preloaded: var xhr = new XMLHttpRequest(); xhr.open('HEAD', packageName, true); xhr.setRequestHeader('If-Modified-Since', mtime); + xhr.setRequestHeader('Cache-Control', 'no-cache'); xhr.onreadystatechange = function() { if(4 === xhr.readyState) { console.log('DEBUG', packageName, mtime, xhr.getResponseHeader('Last-Modified'), xhr.status); @@ -518,10 +522,10 @@ if has_preloaded: checkCachedPackage(db, PACKAGE_NAME, function(useCached) { if(useCached) { - console.info('loading package from cache'); + console.info('loading ' + PACKAGE_NAME + ' from cache'); fetchCachedPackage(db, PACKAGE_NAME, processPackageData, handleError); } else { - console.info('loading package from remote'); + console.info('loading ' + PACKAGE_NAME + ' from remote'); fetchRemotePackage(db, PACKAGE_NAME, processPackageData, handleError); } } |