Mercurial > urweb
diff src/settings.sig @ 1465:2f5fd248588d
getHeader and setHeader
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sun, 29 May 2011 14:29:26 -0400 |
| parents | 66092ce45a76 |
| children | a10d080123ec |
line wrap: on
line diff
--- a/src/settings.sig Sun May 29 13:31:53 2011 -0400 +++ b/src/settings.sig Sun May 29 14:29:26 2011 -0400 @@ -96,6 +96,14 @@ val getMimeRules : unit -> rule list val checkMime : string -> bool + val setRequestHeaderRules : rule list -> unit + val getRequestHeaderRules : unit -> rule list + val checkRequestHeader : string -> bool + + val setResponseHeaderRules : rule list -> unit + val getResponseHeaderRules : unit -> rule list + val checkResponseHeader : string -> bool + (* Web protocols that generated programs may speak *) type protocol = { name : string, (* Call it this on the command line *)