comparison 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
comparison
equal deleted inserted replaced
1798:10a2cb93d175 1799:3d922a28370b
115 rewrites = #rewrites combined @ #rewrites urp, 115 rewrites = #rewrites combined @ #rewrites urp,
116 filterUrl = #filterUrl combined @ #filterUrl urp, 116 filterUrl = #filterUrl combined @ #filterUrl urp,
117 filterMime = #filterMime combined @ #filterMime urp, 117 filterMime = #filterMime combined @ #filterMime urp,
118 filterRequest = #filterRequest combined @ #filterRequest urp, 118 filterRequest = #filterRequest combined @ #filterRequest urp,
119 filterResponse = #filterResponse combined @ #filterResponse urp, 119 filterResponse = #filterResponse combined @ #filterResponse urp,
120 filterEnv = #filterEnv combined @ #filterEnv urp,
120 protocol = mergeWith #2 (#protocol combined, #protocol urp), 121 protocol = mergeWith #2 (#protocol combined, #protocol urp),
121 dbms = mergeWith #2 (#dbms combined, #dbms urp), 122 dbms = mergeWith #2 (#dbms combined, #dbms urp),
122 sigFile = mergeWith #2 (#sigFile combined, #sigFile urp), 123 sigFile = mergeWith #2 (#sigFile combined, #sigFile urp),
123 safeGets = #safeGets combined @ #safeGets urp, 124 safeGets = #safeGets combined @ #safeGets urp,
124 onError = NONE, 125 onError = NONE,