diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-05-02 18:20:15 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-05-02 18:20:15 -0400 |
| commit | 2d37bf0ef2c634819293a191eff9799934b08346 (patch) | |
| tree | 0baf5761c294a6cf6f12d93b16849bec6a4eb9cd /src/settings.sig | |
| parent | 20d3fa9974879189544b752e43842a67c1fec0b9 (diff) | |
Runtime URL and MIME type filtering
Diffstat (limited to 'src/settings.sig')
| -rw-r--r-- | src/settings.sig | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/settings.sig b/src/settings.sig index f750c14a..dd812ac4 100644 --- a/src/settings.sig +++ b/src/settings.sig @@ -78,9 +78,11 @@ signature SETTINGS = sig (* 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 |