comparison src/settings.sig @ 1799:3d922a28370b

Basis.getenv
author Adam Chlipala <adam@chlipala.net>
date Thu, 02 Aug 2012 16:33:25 -0400
parents 59b07fdae1ff
children e15234fbb163
comparison
equal deleted inserted replaced
1798:10a2cb93d175 1799:3d922a28370b
117 val checkRequestHeader : string -> bool 117 val checkRequestHeader : string -> bool
118 118
119 val setResponseHeaderRules : rule list -> unit 119 val setResponseHeaderRules : rule list -> unit
120 val getResponseHeaderRules : unit -> rule list 120 val getResponseHeaderRules : unit -> rule list
121 val checkResponseHeader : string -> bool 121 val checkResponseHeader : string -> bool
122
123 val setEnvVarRules : rule list -> unit
124 val getEnvVarRules : unit -> rule list
125 val checkEnvVar : string -> bool
122 126
123 (* Web protocols that generated programs may speak *) 127 (* Web protocols that generated programs may speak *)
124 type protocol = { 128 type protocol = {
125 name : string, (* Call it this on the command line *) 129 name : string, (* Call it this on the command line *)
126 compile : string, (* Pass these `gcc -c' arguments *) 130 compile : string, (* Pass these `gcc -c' arguments *)