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 *)