From f6d1132bddd2be5bb47248fe3624de373ae6d6f7 Mon Sep 17 00:00:00 2001
From: Michal Sojka <sojkam1@fel.cvut.cz>
Date: Fri, 7 Feb 2014 21:21:00 +0100
Subject: [PATCH] Include time zone information in "Generated on..." line

---
 continuous/www/wvperf2html.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/continuous/www/wvperf2html.py b/continuous/www/wvperf2html.py
index 38bd2ea..ab69dc0 100755
--- a/continuous/www/wvperf2html.py
+++ b/continuous/www/wvperf2html.py
@@ -354,7 +354,7 @@ $.getJSON('%(dataname)s', function(data) {
        'dataname': graph.dataname,
        'options': graph.options_json()})
     print(graph.getData(), file=open(graph.dataname, 'w'))
-print("Generated on "+str(datetime.now()))
+print("Generated on "+time.strftime("%Y-%m-%d %H:%M %z"))
 print("""
     </body>
 </html>
-- 
2.39.2