Include time zone information in "Generated on..." line

diff --git a/continuous/www/wvperf2html.py b/continuous/www/wvperf2html.py
index 38bd2ead2255de96af2aa796d2f8ecd279b9f232..ab69dc0d0c1c8b1db4d92bd297c7695be6de2ae2 100755 (executable)
--- 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>