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 | feaf5cca383eef7caf103f6f3fd4a93725f6667b (patch) | |
| tree | 0baf5761c294a6cf6f12d93b16849bec6a4eb9cd /src/settings.sig | |
| parent | 231c4bfd8d410f01f98801dff7a159068c552c64 (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 |