Add build time to /lastbuild on wiki

diff --git a/fdroidserver/build.py b/fdroidserver/build.py
index 326fabb7a277a599a7aee8a1342884d788490581..7540d53f0046bdd778c90e9c08a1f2cea79c55f0 100644 (file)
--- a/fdroidserver/build.py
+++ b/fdroidserver/build.py
@@ -24,6 +24,7 @@ import subprocess
 import re
 import tarfile
 import traceback
+import time
 from optparse import OptionParser
 
 import common
@@ -674,6 +675,7 @@ def main():
                     txt = wikilog
                     if len(txt) > 8192:
                         txt = txt[-8192:]
+                    txt = "Build completed at " + time.strftime("%Y-%m-%d %H:%M:%SZ", time.gmtime()) + "\n\n" + txt
                     newpage.save(wikilog, summary='Build log')
                 except:
                     print "Error while attempting to publish build log"