comparison src/demo.sml @ 1465:2f5fd248588d

getHeader and setHeader
author Adam Chlipala <adam@chlipala.net>
date Sun, 29 May 2011 14:29:26 -0400
parents 4dd5d23bace2
children efe1a2e9e4de
comparison
equal deleted inserted replaced
1464:969b90b1f2f9 1465:2f5fd248588d
112 serverOnly = [], 112 serverOnly = [],
113 jsFuncs = [], 113 jsFuncs = [],
114 rewrites = #rewrites combined @ #rewrites urp, 114 rewrites = #rewrites combined @ #rewrites urp,
115 filterUrl = #filterUrl combined @ #filterUrl urp, 115 filterUrl = #filterUrl combined @ #filterUrl urp,
116 filterMime = #filterMime combined @ #filterMime urp, 116 filterMime = #filterMime combined @ #filterMime urp,
117 filterRequest = #filterRequest combined @ #filterRequest urp,
118 filterResponse = #filterResponse combined @ #filterResponse urp,
117 protocol = mergeWith #2 (#protocol combined, #protocol urp), 119 protocol = mergeWith #2 (#protocol combined, #protocol urp),
118 dbms = mergeWith #2 (#dbms combined, #dbms urp), 120 dbms = mergeWith #2 (#dbms combined, #dbms urp),
119 sigFile = mergeWith #2 (#sigFile combined, #sigFile urp), 121 sigFile = mergeWith #2 (#sigFile combined, #sigFile urp),
120 safeGets = [], 122 safeGets = [],
121 onError = NONE, 123 onError = NONE,