From 25a84a05b50620baf97646156e64667a5afd931e Mon Sep 17 00:00:00 2001
From: Ciaran Gultnieks <ciaran@ciarang.com>
Date: Wed, 15 May 2013 18:18:24 +0100
Subject: [PATCH] Add build time to /lastbuild on wiki

---
 fdroidserver/build.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/fdroidserver/build.py b/fdroidserver/build.py
index 326fabb7..7540d53f 100644
--- 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"