mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-11-05 23:10:29 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

Add build time to /lastbuild on wiki

Browse source
This commit is contained in:
Ciaran Gultnieks 2013-05-15 18:18:24 +01:00
parent 6b749852b5
commit 25a84a05b5
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
fdroidserver/build.py
View file

@ -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"