wiki: log checkupdates start/stop time and command line for each run

This commit is contained in:
Hans-Christoph Steiner 2018-01-17 15:18:05 +01:00
parent df51a6e999
commit fc4f5a79a7
2 changed files with 28 additions and 2 deletions

View file

@ -3012,6 +3012,9 @@ def get_examples_dir():
return examplesdir
def get_wiki_timestamp():
def get_wiki_timestamp(timestamp=None):
"""Return current time in the standard format for posting to the wiki"""
return time.strftime("%Y-%m-%d %H:%M:%SZ", time.gmtime())
if timestamp is None:
timestamp = time.gmtime()
return time.strftime("%Y-%m-%d %H:%M:%SZ", timestamp)