Mercurial > urweb
diff src/settings.sig @ 769:efceae06df17
allow/deny working in Mono_opt
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 02 May 2009 13:37:52 -0400 |
parents | 3b7e46790fa7 |
children | c125df6fabfc |
line wrap: on
line diff
--- a/src/settings.sig Sat May 02 13:23:07 2009 -0400 +++ b/src/settings.sig Sat May 02 13:37:52 2009 -0400 @@ -76,4 +76,11 @@ val setRewriteRules : rewrite list -> unit val rewrite : path_kind -> string -> string + (* Validating URLs and MIME types *) + val setUrlRules : rule list -> unit + val checkUrl : string -> bool + + val setMimeRules : rule list -> unit + val checkMime : string -> bool + end