Mercurial > gui
changeset 25:a037ed3854e3
Change time format to work portably in JavaScript
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sun, 04 Dec 2011 16:33:48 -0500 |
| parents | d314d2ec3300 |
| children | 86857ae0f386 |
| files | calendar.ur |
| diffstat | 1 files changed, 1 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/calendar.ur Sun Dec 04 16:45:31 2011 +0100 +++ b/calendar.ur Sun Dec 04 16:33:48 2011 -0500 @@ -36,7 +36,7 @@ pad' (len - String.length s) s end -fun time {Year = y, Month = m, Day = d} = readError (show y ^ "-" ^ pad 2 m ^ "-" ^ pad 2 d ^ " 00:00:00") +fun time {Year = y, Month = m, Day = d} = readError (show y ^ "/" ^ pad 2 m ^ "/" ^ pad 2 d ^ " 00:00:00") fun date tm = let val y = readError (timef "%Y" tm)