Mercurial > urweb
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, |