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