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 *)