Mercurial > urweb
diff src/settings.sml @ 1629:438561303d02
timeFormat .urp directive
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 04 Dec 2011 14:40:12 -0500 |
parents | bd34a4af516a |
children | deeeb036c8ed |
line wrap: on
line diff
--- a/src/settings.sml Sat Dec 03 17:25:51 2011 -0500 +++ b/src/settings.sml Sun Dec 04 14:40:12 2011 -0500 @@ -280,7 +280,7 @@ ("now", "now"), ("timeToString", "showTime"), - ("htmlifyTime", "showTime"), + ("htmlifyTime", "showTimeHtml"), ("toSeconds", "toSeconds"), ("addSeconds", "addSeconds"), ("diffInSeconds", "diffInSeconds"), @@ -621,4 +621,8 @@ 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