Mercurial > urweb
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,