comparison 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
comparison
equal deleted inserted replaced
1628:3621f486ce72 1629:438561303d02
278 ("trunc", "trunc"), 278 ("trunc", "trunc"),
279 ("round", "round"), 279 ("round", "round"),
280 280
281 ("now", "now"), 281 ("now", "now"),
282 ("timeToString", "showTime"), 282 ("timeToString", "showTime"),
283 ("htmlifyTime", "showTime"), 283 ("htmlifyTime", "showTimeHtml"),
284 ("toSeconds", "toSeconds"), 284 ("toSeconds", "toSeconds"),
285 ("addSeconds", "addSeconds"), 285 ("addSeconds", "addSeconds"),
286 ("diffInSeconds", "diffInSeconds"), 286 ("diffInSeconds", "diffInSeconds"),
287 287
288 ("onClick", "uw_onClick"), 288 ("onClick", "uw_onClick"),
619 619
620 val noXsrfProtection = ref SS.empty 620 val noXsrfProtection = ref SS.empty
621 fun addNoXsrfProtection s = noXsrfProtection := SS.add (!noXsrfProtection, s) 621 fun addNoXsrfProtection s = noXsrfProtection := SS.add (!noXsrfProtection, s)
622 fun checkNoXsrfProtection s = SS.member (!noXsrfProtection, s) 622 fun checkNoXsrfProtection s = SS.member (!noXsrfProtection, s)
623 623
624 val timeFormat = ref "%c"
625 fun setTimeFormat v = timeFormat := v
626 fun getTimeFormat () = !timeFormat
627
624 end 628 end