diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-12-04 14:40:12 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-12-04 14:40:12 -0500 |
commit | 226fb11ff2da90b7b68dad1b29b9688f880a06a3 (patch) | |
tree | 86de944318bf3610af01258c455ceacfd450c307 /src/settings.sml | |
parent | 87e2e610a69b268d10a22a7142a44a2c0afd4799 (diff) |
timeFormat .urp directive
Diffstat (limited to 'src/settings.sml')
-rw-r--r-- | src/settings.sml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/settings.sml b/src/settings.sml index f4022cf9..922638f5 100644 --- a/src/settings.sml +++ b/src/settings.sml @@ -280,7 +280,7 @@ val jsFuncsBase = basisM [("alert", "alert"), ("now", "now"), ("timeToString", "showTime"), - ("htmlifyTime", "showTime"), + ("htmlifyTime", "showTimeHtml"), ("toSeconds", "toSeconds"), ("addSeconds", "addSeconds"), ("diffInSeconds", "diffInSeconds"), @@ -621,4 +621,8 @@ val noXsrfProtection = ref SS.empty fun addNoXsrfProtection s = noXsrfProtection := SS.add (!noXsrfProtection, s) fun checkNoXsrfProtection s = SS.member (!noXsrfProtection, s) +val timeFormat = ref "%c" +fun setTimeFormat v = timeFormat := v +fun getTimeFormat () = !timeFormat + end |