From 010f1c50290fb421dd63f36849e25a447ce54bd3 Mon Sep 17 00:00:00 2001 From: Hans-Christoph Steiner Date: Wed, 17 Jan 2018 17:17:26 +0100 Subject: [PATCH] log installed android sdk versions for update and checkupdates --- fdroidserver/checkupdates.py | 2 ++ fdroidserver/update.py | 1 + 2 files changed, 3 insertions(+) diff --git a/fdroidserver/checkupdates.py b/fdroidserver/checkupdates.py index aa2ee03b..861324ab 100644 --- a/fdroidserver/checkupdates.py +++ b/fdroidserver/checkupdates.py @@ -603,6 +603,8 @@ def main(): txt += "* started at " + common.get_wiki_timestamp(start_timestamp) + '\n' txt += "* completed at " + common.get_wiki_timestamp() + '\n' txt += "\n\n" + txt += common.get_android_tools_version_log() + txt += "\n\n" if gplaylog: txt += '== --gplay check ==\n\n' txt += gplaylog diff --git a/fdroidserver/update.py b/fdroidserver/update.py index 5e37cab5..9b97fdb0 100644 --- a/fdroidserver/update.py +++ b/fdroidserver/update.py @@ -331,6 +331,7 @@ def update_wiki(apps, sortedids, apks): txt += "* started at " + common.get_wiki_timestamp(start_timestamp) + '\n' txt += "* completed at " + common.get_wiki_timestamp() + '\n' txt += "\n\n" + txt += common.get_android_tools_version_log() newpage.save(txt, summary='Run log') newpage = site.Pages['update'] newpage.save('#REDIRECT [[' + wiki_page_path + ']]', summary='Update redirect')