diff src/demo.sml @ 1799:3d922a28370b

Basis.getenv
author Adam Chlipala <adam@chlipala.net>
date Thu, 02 Aug 2012 16:33:25 -0400
parents f8ddaa296115
children e4051315263e
line wrap: on
line diff
--- a/src/demo.sml	Sun Jul 29 12:54:17 2012 -0400
+++ b/src/demo.sml	Thu Aug 02 16:33:25 2012 -0400
@@ -117,6 +117,7 @@
             filterMime = #filterMime combined @ #filterMime urp,
             filterRequest = #filterRequest combined @ #filterRequest urp,
             filterResponse = #filterResponse combined @ #filterResponse urp,
+            filterEnv = #filterEnv combined @ #filterEnv urp,
             protocol = mergeWith #2 (#protocol combined, #protocol urp),
             dbms = mergeWith #2 (#dbms combined, #dbms urp),
             sigFile = mergeWith #2 (#sigFile combined, #sigFile urp),