diff options
author | Andrew McDermott <andrew.mcdermott@linaro.org> | 2014-10-09 11:32:38 +0100 |
---|---|---|
committer | Andrew McDermott <andrew.mcdermott@linaro.org> | 2014-10-09 11:32:38 +0100 |
commit | 9bfef1cf261766fc78376394e399051f582b9a79 (patch) | |
tree | 07faefb1d09d35f360cc6e05b802d45f59c10f3a | |
parent | 2a3fabacf725ba96e06133011108648b1daab63f (diff) |
print-historic-results: use prettier time fmt for Page generated msg
-rwxr-xr-x | print-historic-results.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/print-historic-results.py b/print-historic-results.py index d0e6010..82046e9 100755 --- a/print-historic-results.py +++ b/print-historic-results.py @@ -74,7 +74,7 @@ body <= H2("Historic Results (Relative Performance)") body <= table body <= HR() body <= A("[1] " + A("http://www.spec.org/fairuse.html#Academic", href="http://www.spec.org/fairuse.html#Academic"), name="footnote-1") -body <= P("Page generated on: {}".format(time.strftime("%Y-%m-%d %H:%M:%S %Z"))) +body <= P("Page generated on: {}".format(time.strftime("%a, %d %b %Y %T %z"))) head <= body print HTML(head) |