diff src/compiler.sig @ 1465:2f5fd248588d

getHeader and setHeader
author Adam Chlipala <adam@chlipala.net>
date Sun, 29 May 2011 14:29:26 -0400
parents fd34210bc3e5
children 659a2f71f5e5
line wrap: on
line diff
--- a/src/compiler.sig	Sun May 29 13:31:53 2011 -0400
+++ b/src/compiler.sig	Sun May 29 14:29:26 2011 -0400
@@ -51,6 +51,8 @@
          rewrites : Settings.rewrite list,
          filterUrl : Settings.rule list,
          filterMime : Settings.rule list,
+         filterRequest : Settings.rule list,
+         filterResponse : Settings.rule list,
          protocol : string option,
          dbms : string option,
          sigFile : string option,