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.sml | |
| parent | 231c4bfd8d410f01f98801dff7a159068c552c64 (diff) | |
Runtime URL and MIME type filtering
Diffstat (limited to 'src/settings.sml')
| -rw-r--r-- | src/settings.sml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/settings.sml b/src/settings.sml index e7020615..24971eff 100644 --- a/src/settings.sml +++ b/src/settings.sml @@ -197,6 +197,9 @@ val mime = ref ([] : rule list) fun setUrlRules ls = url := ls fun setMimeRules ls = mime := ls +fun getUrlRules () = !url +fun getMimeRules () = !mime + fun check f rules s = let fun chk (ls : rule list) = |