comparison src/compiler.sig @ 1465:2f5fd248588d

getHeader and setHeader
author Adam Chlipala <adam@chlipala.net>
date Sun, 29 May 2011 14:29:26 -0400
parents fd34210bc3e5
children 659a2f71f5e5
comparison
equal deleted inserted replaced
1464:969b90b1f2f9 1465:2f5fd248588d
49 serverOnly : Settings.ffi list, 49 serverOnly : Settings.ffi list,
50 jsFuncs : (Settings.ffi * string) list, 50 jsFuncs : (Settings.ffi * string) list,
51 rewrites : Settings.rewrite list, 51 rewrites : Settings.rewrite list,
52 filterUrl : Settings.rule list, 52 filterUrl : Settings.rule list,
53 filterMime : Settings.rule list, 53 filterMime : Settings.rule list,
54 filterRequest : Settings.rule list,
55 filterResponse : Settings.rule list,
54 protocol : string option, 56 protocol : string option,
55 dbms : string option, 57 dbms : string option,
56 sigFile : string option, 58 sigFile : string option,
57 safeGets : string list, 59 safeGets : string list,
58 onError : (string * string list * string) option, 60 onError : (string * string list * string) option,