From 5b421885fdfad728ab584ef15ec1873ec3bc2a05 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 29 May 2011 14:29:26 -0400
Subject: getHeader and setHeader

---
 src/settings.sig | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'src/settings.sig')

diff --git a/src/settings.sig b/src/settings.sig
index 279325c3..d5383bca 100644
--- a/src/settings.sig
+++ b/src/settings.sig
@@ -96,6 +96,14 @@ signature SETTINGS = sig
     val getMimeRules : unit -> rule list
     val checkMime : string -> bool
 
+    val setRequestHeaderRules : rule list -> unit
+    val getRequestHeaderRules : unit -> rule list
+    val checkRequestHeader : string -> bool
+
+    val setResponseHeaderRules : rule list -> unit
+    val getResponseHeaderRules : unit -> rule list
+    val checkResponseHeader : string -> bool
+
     (* Web protocols that generated programs may speak *)
     type protocol = {
         name : string,       (* Call it this on the command line *)
-- 
cgit v1.2.3