Mercurial > urweb

comparison src/settings.sml @ 770:c125df6fabfc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Runtime URL and MIME type filtering
author Adam Chlipala <adamc@hcoop.net>
date Sat, 02 May 2009 18:20:15 -0400
parents efceae06df17
children 7394368a5cad
comparison
equal deleted inserted replaced
769:efceae06df17 770:c125df6fabfc
195 val mime = ref ([] : rule list) 195 val mime = ref ([] : rule list)
196 196
197 fun setUrlRules ls = url := ls 197 fun setUrlRules ls = url := ls
198 fun setMimeRules ls = mime := ls 198 fun setMimeRules ls = mime := ls
199 199
200 fun getUrlRules () = !url
201 fun getMimeRules () = !mime
202
200 fun check f rules s = 203 fun check f rules s =
201 let 204 let
202 fun chk (ls : rule list) = 205 fun chk (ls : rule list) =
203 case ls of 206 case ls of
204 [] => false 207 [] => false