Revision c07267bcbf0fbd8dff22d8729e6c8b823bd2435f authored by Luke Bjerring on 17 May 2018, 20:53:16 UTC, committed by Luke Bjerring on 17 May 2018, 20:53:16 UTC
1 parent 7a3894d
update_manifest.py
import imp
import json
import os
import sys
here = os.path.dirname(__file__)
localpaths = imp.load_source("localpaths", os.path.abspath(os.path.join(here, os.pardir, "localpaths.py")))
root = localpaths.repo_root
from manifest import manifest, update
def main(request, response):
path = os.path.join(root, "MANIFEST.json")
manifest_file = None
try:
manifest_file = manifest.load(root, path)
except manifest.ManifestVersionMismatch:
pass
if manifest_file is None:
manifest_file = manifest.Manifest("/")
update.update(root, manifest_file)
manifest.write(manifest_file, path)
return [("Content-Type", "application/json")], json.dumps({"url": "/MANIFEST.json"})
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...