Mercurial > urweb
diff src/settings.sml @ 770:c125df6fabfc
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 |
line wrap: on
line diff
--- a/src/settings.sml Sat May 02 13:37:52 2009 -0400 +++ b/src/settings.sml Sat May 02 18:20:15 2009 -0400 @@ -197,6 +197,9 @@ fun setUrlRules ls = url := ls fun setMimeRules ls = mime := ls +fun getUrlRules () = !url +fun getMimeRules () = !mime + fun check f rules s = let fun chk (ls : rule list) =