chiark / gitweb /
wiki: log update start/stop time and command line
authorHans-Christoph Steiner <hans@eds.org>
Wed, 17 Jan 2018 14:21:59 +0000 (15:21 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Mon, 22 Jan 2018 12:49:10 +0000 (13:49 +0100)
fdroidserver/update.py

index b8a40095179b32d38c84422e13016e3d0c3d610e..5e37cab55ebaa225b5b3d413070315305998fb7b 100644 (file)
@@ -323,6 +323,18 @@ def update_wiki(apps, sortedids, apks):
     # Purge server cache to ensure counts are up to date
     site.Pages['Repository Maintenance'].purge()
 
+    # Write a page with the last build log for this version code
+    wiki_page_path = 'update_' + time.strftime('%s', start_timestamp)
+    newpage = site.Pages[wiki_page_path]
+    txt = ''
+    txt += "* command line: <code>" + ' '.join(sys.argv) + "</code>\n"
+    txt += "* started at " + common.get_wiki_timestamp(start_timestamp) + '\n'
+    txt += "* completed at " + common.get_wiki_timestamp() + '\n'
+    txt += "\n\n"
+    newpage.save(txt, summary='Run log')
+    newpage = site.Pages['update']
+    newpage.save('#REDIRECT [[' + wiki_page_path + ']]', summary='Update redirect')
+
 
 def delete_disabled_builds(apps, apkcache, repodirs):
     """Delete disabled build outputs.
@@ -1759,6 +1771,7 @@ def create_metadata_from_template(apk):
 
 config = None
 options = None
+start_timestamp = time.gmtime()
 
 
 def main():