web pages: use UTC for computing month names

Otherwise, generated web pages can differ depending on which timezone is used to render them.
2014-07-23 09:42:30 +01:00 · 2014-07-23 09:42:30 +01:00 · 7d87e5ab23
commit 7d87e5ab23
parent ce2d7f040a
1 changed files with 1 additions and 1 deletions
--- 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))))))