Include time zone information in "Generated on..." line
authorMichal Sojka <sojkam1@fel.cvut.cz>
Fri, 7 Feb 2014 20:21:00 +0000 (21:21 +0100)
committerMichal Sojka <sojkam1@fel.cvut.cz>
Fri, 7 Feb 2014 20:21:00 +0000 (21:21 +0100)
continuous/www/wvperf2html.py

index 38bd2ea..ab69dc0 100755 (executable)
@@ -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>