Mercurial > urweb
comparison 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 |
comparison
equal
deleted
inserted
replaced
1464:969b90b1f2f9 | 1465:2f5fd248588d |
---|---|
93 val checkUrl : string -> bool | 93 val checkUrl : string -> bool |
94 | 94 |
95 val setMimeRules : rule list -> unit | 95 val setMimeRules : rule list -> unit |
96 val getMimeRules : unit -> rule list | 96 val getMimeRules : unit -> rule list |
97 val checkMime : string -> bool | 97 val checkMime : string -> bool |
98 | |
99 val setRequestHeaderRules : rule list -> unit | |
100 val getRequestHeaderRules : unit -> rule list | |
101 val checkRequestHeader : string -> bool | |
102 | |
103 val setResponseHeaderRules : rule list -> unit | |
104 val getResponseHeaderRules : unit -> rule list | |
105 val checkResponseHeader : string -> bool | |
98 | 106 |
99 (* Web protocols that generated programs may speak *) | 107 (* Web protocols that generated programs may speak *) |
100 type protocol = { | 108 type protocol = { |
101 name : string, (* Call it this on the command line *) | 109 name : string, (* Call it this on the command line *) |
102 compile : string, (* Pass these `gcc -c' arguments *) | 110 compile : string, (* Pass these `gcc -c' arguments *) |