Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/src/settings.sig Sun Jul 29 12:54:17 2012 -0400 +++ b/src/settings.sig Thu Aug 02 16:33:25 2012 -0400 @@ -120,6 +120,10 @@ val getResponseHeaderRules : unit -> rule list val checkResponseHeader : string -> bool + val setEnvVarRules : rule list -> unit + val getEnvVarRules : unit -> rule list + val checkEnvVar : string -> bool + (* Web protocols that generated programs may speak *) type protocol = { name : string, (* Call it this on the command line *)