From 7d87e5ab237a957aeb11850e90849ffa8d3e2a8e Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 23 Jul 2014 09:42:30 +0100 Subject: [PATCH] web pages: use UTC for computing month names Otherwise, generated web pages can differ depending on which timezone is used to render them. --- pkgs/plt-services/meta/new-web/download/release-info.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/plt-services/meta/new-web/download/release-info.rkt b/pkgs/plt-services/meta/new-web/download/release-info.rkt index 17617bcc7f..399725a548 100644 --- a/pkgs/plt-services/meta/new-web/download/release-info.rkt +++ b/pkgs/plt-services/meta/new-web/download/release-info.rkt @@ -16,5 +16,5 @@ (define s (read i)) (unless (number? s) (error "release info does not start with a number of seconds")) (regexp-match #px"^[\\s]*" i) ; discard whitespace - (list (seconds->date s) + (list (seconds->date s #f) ; UTC (port->string i))))))