Mercurial > urweb
diff src/settings.sig @ 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 | 28e42b22424d |
line wrap: on
line diff
--- a/src/settings.sig Sat May 02 13:37:52 2009 -0400 +++ b/src/settings.sig Sat May 02 18:20:15 2009 -0400 @@ -78,9 +78,11 @@ (* Validating URLs and MIME types *) val setUrlRules : rule list -> unit + val getUrlRules : unit -> rule list val checkUrl : string -> bool val setMimeRules : rule list -> unit + val getMimeRules : unit -> rule list val checkMime : string -> bool end