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)