diff src/demo.sml @ 866:03e7f111fe99

Start of multi-DBMS support
author Adam Chlipala <adamc@hcoop.net>
date Sun, 28 Jun 2009 13:49:32 -0400
parents 305bc0a431de
children 8f2159040bbb
line wrap: on
line diff
--- a/src/demo.sml	Sun Jun 28 11:49:04 2009 -0400
+++ b/src/demo.sml	Sun Jun 28 13:49:32 2009 -0400
@@ -106,7 +106,9 @@
             jsFuncs = [],
             rewrites = #rewrites combined @ #rewrites urp,
             filterUrl = #filterUrl combined @ #filterUrl urp,
-            filterMime = #filterMime combined @ #filterMime urp
+            filterMime = #filterMime combined @ #filterMime urp,
+            protocol = mergeWith #2 (#protocol combined, #protocol urp),
+            dbms = mergeWith #2 (#dbms combined, #dbms urp)
         }
 
         val parse = Compiler.run (Compiler.transform Compiler.parseUrp "Demo parseUrp")