comparison src/compiler.sig @ 1799:3d922a28370b

Basis.getenv
author Adam Chlipala <adam@chlipala.net>
date Thu, 02 Aug 2012 16:33:25 -0400
parents c414850f206f
children 38297294cf98
comparison
equal deleted inserted replaced
1798:10a2cb93d175 1799:3d922a28370b
52 rewrites : Settings.rewrite list, 52 rewrites : Settings.rewrite list,
53 filterUrl : Settings.rule list, 53 filterUrl : Settings.rule list,
54 filterMime : Settings.rule list, 54 filterMime : Settings.rule list,
55 filterRequest : Settings.rule list, 55 filterRequest : Settings.rule list,
56 filterResponse : Settings.rule list, 56 filterResponse : Settings.rule list,
57 filterEnv : Settings.rule list,
57 protocol : string option, 58 protocol : string option,
58 dbms : string option, 59 dbms : string option,
59 sigFile : string option, 60 sigFile : string option,
60 safeGets : string list, 61 safeGets : string list,
61 onError : (string * string list * string) option, 62 onError : (string * string list * string) option,