log installed android sdk versions for update and checkupdates

diff --git a/fdroidserver/checkupdates.py b/fdroidserver/checkupdates.py
index aa2ee03b87dec0ffb318a6f6544c11b51e1c958e..861324ab3ec349986167f7c5551e77a10f9b59f6 100644 (file)
--- 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 5e37cab55ebaa225b5b3d413070315305998fb7b..9b97fdb04c59ee5706d89970b9e3beff7c2e29e0 100644 (file)
--- 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')