I committed a fix for this in r25229: a simple substitution of 'gmtime'
for 'localtime'. See attached.
It will not, however, be visible on the web page until the webmasters
install the revised version of smokeserv-server.pl.
kid51
Index: tools/util/smokeserv-server.pl
===================================================================
--- tools/util/smokeserv-server.pl (revision 25207)
+++ tools/util/smokeserv-server.pl (working copy)
@@ -283,7 +283,7 @@
timestamp => [
$9,
do {
- my $str = localtime($9)->strftime("%d %b %Y %H:%M %a");
+ my $str = gmtime($9)->strftime("%d %b %Y %H:%M %a");
$str =~ s/ / /g;
# hack, to make the timestamps not break so the
